Automated environment generation for software model checking

被引：0
|
作者：
Tkachuk, Oksana [1 ]
Dwyer, Matthew B. [1 ]
Păsăreanu, Corina S. [2 ]
机构：
[1] Department of CIS, Kansas State University, Manhattan,KS,66506, United States
[2] Kestrel Technology LLC, NASA Ames Research Center, Moffett Field,CA,94035, United States
来源：
Proc. - IEEE Int. Conf. Autom. Softw. Eng., ASE | 1600年 / 116-127期
关键词：
Compendex;
D O I：
18th IEEE International Conference on Automated Software Engineering, ASE 2003
中图分类号：
学科分类号：
摘要：
Java programming language - Open source software - Open systems
引用
收藏
相关论文
共 50 条
  • [1] Automated environment generation for software model checking
    Tkachuk, O
    Dwyer, MB
    Pasareanu, CS
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 116 - 127
  • [2] Specification and Generation of Environment for Model Checking of Software Components
    Department of Software Engineering, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic
    不详
    Electron. Notes Theor. Comput. Sci., 2 (143-154):
  • [3] Specification and Generation of Environment for Model Checking of Software Components
    Parizek, Pavel
    Plasil, Frantisek
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (02) : 143 - 154
  • [4] Modular model checking of software specifications with simultaneous environment generation
    de la Riva, C
    Tuya, J
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 369 - 383
  • [5] Environment generation for validating event-driven software using model checking
    Tkachuk, O.
    Dwyer, M. B.
    IET SOFTWARE, 2010, 4 (03) : 194 - 209
  • [6] Supporting automated containment checking of software behavioural models using model transformations and model checking
    Muram, Faiz U. L.
    Tran, Huy
    Zdun, Uwe
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 174 : 38 - 71
  • [7] Model checking and code generation for transaction processing software
    Mentis, Anakreon
    Katsaros, Panagiotis
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (07): : 711 - 722
  • [8] Towards Automated Software Verification Using Model Checking Techniques
    Asadollahi, Somayeh
    Rafe, Vahid
    Rafeh, Reza
    Rahmani, Adel T.
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 305 - +
  • [9] Automated Architecture Consistency Checking for Model Driven Software Development
    Biehl, Matthias
    Lowe, Welf
    ARCHITECTURES FOR ADAPTIVE SOFTWARE SYSTEMS, 2009, 5581 : 36 - 51
  • [10] Automated Adaptor Generation for Services Based on Pushdown Model Checking
    Lin, Hsin-Hung
    Aoki, Toshiaki
    Katayama, Takuya
    18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 130 - 139
12345