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 条
  • [21] Consistency Checking for Automatic Software Generation
    Vargun, Aytekin
    2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2009, : 559 - 564
  • [22] An integrated hardware-software cosimulation environment with automated interface generation
    Kim, K
    Kim, Y
    Shin, Y
    Choi, K
    SEVENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 1996, : 66 - 71
  • [23] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [24] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [25] Modular model checking of software
    Laster, K
    Grumberg, O
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
  • [26] Advances in Software Model Checking
    Siddiqui, Junaid H.
    Rauf, Affan
    Ghafoor, Maryam A.
    ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 59 - 89
  • [27] Software model checking with SPIN
    Holzmann, GJ
    ADVANCES IN COMPUTERS, VOL 65, 2005, 65 : 77 - 108
  • [28] On Strings in Software Model Checking
    Hojjat, Hossein
    Rummer, Philipp
    Shamakhi, Ali
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 19 - 30
  • [29] Software Model Checking SystemC
    Cimatti, Alessandro
    Narasamdya, Iman
    Roveri, Marco
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (05) : 774 - 787
  • [30] Model checking: Software and beyond
    Clarke, Edmund M.
    Lerda, Flavio
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 639 - 649
12345