Applying model checking to destructive testing and analysis of software system

被引：2
|
作者：
Kumamoto, Hiroki [1 ]
Mizuno, Takahisa [1 ]
Narita, Kensuke [1 ]
Nishizaki, Shin-ya [1 ]
机构：
[1] Department of Computer Science, Tokyo Institute of Technology, Tokyo, Japan
来源：
Journal of Software | 2013年 / 8卷 / 05期
关键词：
D O I：
10.4304/jsw.8.5.1254-1261
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1254 / 1261
相关论文
共 50 条
  • [1] Applying Software Model Checking to PALS Systems
    Chaki, Sagar
    Sha, Lui
    Kim, Cheolgi
    2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
  • [2] APPLYING SOFTWARE MODEL CHECKING TO PALS SYSTEMS
    Nam, Min-Young
    Sha, Lui
    Chaki, Sagar
    Kim, Cheolgi
    2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
  • [3] Software testing via model checking
    Belli, F
    Güldali, B
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 907 - 916
  • [4] Model-checking plus testing: From software architecture analysis to code testing
    Bucchiarone, A
    Muccini, H
    Pelliccione, P
    Pierini, P
    APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 351 - 365
  • [5] Between Testing and Verification: Dynamic Software Model Checking
    Godefroid, Patrice
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 99 - 116
  • [6] Applying Evolutionary Computation Methods to Formal Testing and Model Checking
    Rabanal, Pablo
    Rodriguez, Ismael
    Rubio, Fernando
    BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1, 2009, 5517 : 310 - 317
  • [7] Integrating model checking and model based testing for industrial software development
    Villani, Emilia
    Pontes, Rodrigo Pastl
    Coracini, Guilherme Kisselofl
    Ambrosio, Ana Maria
    COMPUTERS IN INDUSTRY, 2019, 104 : 88 - 102
  • [8] Finite differences software for the numeric analysis of a non-destructive electromagnetic testing system
    Chavez-Gonzalez, A. F.
    Aguila-Munoz, J.
    Perez-Benitez, J. A.
    Espina-Hernandez, J. H.
    2013 23RD INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTING (CONIELECOMP), 2013, : 82 - 86
  • [9] Combining static analysis and model checking for software analysis
    Brat, G
    Visser, W
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 262 - 269
  • [10] Formal software analysis - Emerging trends in software model checking
    Dwyer, Matthew B.
    Hatcliff, John
    Robby
    Pasareanu, Corina S.
    Visser, Willem
    FOSE 2007: FUTURE OF SOFTWARE ENGINEERING, 2007, : 120 - +
12345