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 条
  • [41] Providing early feedback in the development cycle through automated application of model checking to software architectures
    Barber, KS
    Graser, T
    Holt, J
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 341 - 345
  • [42] Software model checking for resources race
    Hong Wang
    Tao Zhang
    Cluster Computing, 2017, 20 : 179 - 193
  • [43] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
  • [44] Model checking approach to automated planning
    Yi Li
    Jin Song Dong
    Jing Sun
    Yang Liu
    Jun Sun
    Formal Methods in System Design, 2014, 44 : 176 - 202
  • [45] Model checking approach to automated planning
    Li, Yi
    Dong, Jin Song
    Sun, Jing
    Liu, Yang
    Sun, Jun
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (02) : 176 - 202
  • [46] Software model checking: The Bandera approach
    Dwyer, Matthew
    IFIP Advances in Information and Communication Technology, 2002, 81 : 3 - 4
  • [47] Parallel Assignments in Software Model Checking
    Stokely, Murray
    Chaki, Sagar
    Ouaknine, Joel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 77 - 94
  • [48] Software Model Checking Takes Off
    Miller, Steven P.
    Whalen, Michael W.
    Cofer, Daren D.
    COMMUNICATIONS OF THE ACM, 2010, 53 (02) : 58 - 64
  • [49] Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
    Enoiu, Eduard P.
    Sundmark, Daniel
    Causevic, Adnan
    Feldt, Robert
    Pettersson, Paul
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2016, 2016, 9976 : 155 - 171
  • [50] Software testing via model checking
    Belli, F
    Güldali, B
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 907 - 916
12345