Automatic Generation of Test Cases for Critical Systems Based on MC/DC Criteria 32nd Digital Avionics System Conference-2013

被引：0
|
作者：
Almeida, Mateus A.
Bezerra, Juliana
Hirata, Celso Massaki
机构：
来源：
2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2013年
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页数：16
相关论文
共 9 条
  • [1] AUTOMATIC GENERATION OF TEST CASES FOR CRITICAL SYSTEMS BASED ON MC/DC CRITERIA
    Almeida, Mateus Andrade
    Bezerra, Juliana de Melo
    Hirata, Celso Massaki
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [2] DIGITAL WDM LAN FOR CONTROLLED CONFIGURATIONS 32nd Digital Avionics Systems Conference
    Mazurowski, John
    Habiby, Sarry
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [3] Cloud Computing for ATM - Framework Analysis 32nd Digital Avionics Systems Conference Syracuse, NY October 10, 2013
    Ren, Liling
    Beckmann, Benjamin
    Citriniti, Thomas
    Castillo-Effen, Mauricio
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [4] COMPUTER VISION BASED SURVEILLANCE CONCEPT FOR AIRPORT RAMP OPERATIONS Presentation for 32nd Digital Avionics Systems Conference
    Vaddi, V. V. S. Sai
    Lu, Hui-Ling
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [5] 32nd Digital Avionics Systems Conference (DASC) Cyber Security Issues Related to Aircraft Systems, Paper #283
    Skaves, Peter
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [6] ROBUST AIRSPACE DESIGN METHODS UNCERTAIN TRAFFIC AND WEATHER 32nd Digital Avionics Systems Conference October 6-10, 2013
    Yousefi, Arash
    Myers, Tim
    Mitchell, Joe
    Kostitsyna, Irina
    Sharma, Rohit
    Bloem, Michael
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [7] MC/DC Test Case Automatic Generation for Safety-Critical Systems
    Wang, Cong
    Sun, Haiying
    Dou, Hui
    Chen, Hongtao
    Liu, Jing
    [J]. 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 732 - 743
  • [8] A Track Search Optimization Method for Implicit Coordination 32nd Digital Avionics Systems Conference (DASC) Syracuse, NY
    Duan, Pengfei
    de Haag, Maarten Uijt
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [9] A Cognitive Radio Enabled Wireless Aircraft Cabin Management System 32nd Digital Avionics Systems Conference (DASC) October 6-10, 2013, Syracuse, NY
    Heller, Christoph
    Bluemm, Christian
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
1