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 条
  • [31] Model checking for software architectures
    Mateescu, R
    SOFTWARE ARCHITECTURE, 2004, 3047 : 219 - 224
  • [32] An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
    Wang, Lisong
    Li, Sijie
    Wei, Ou
    Huang, Mingyu
    Hu, Jun
    IEEE ACCESS, 2018, 6 : 46900 - 46914
  • [33] ESBMC 6.1: automated test case generation using bounded model checking
    Gadelha, Mikhail R.
    Menezes, Rafael S.
    Cordeiro, Lucas C.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (06) : 857 - 861
  • [34] Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
    Lin, Hsin-Hung
    Aoki, Toshiaki
    Katayama, Takuya
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (07): : 1882 - 1893
  • [35] ESBMC 6.1: automated test case generation using bounded model checking
    Mikhail R. Gadelha
    Rafael S. Menezes
    Lucas C. Cordeiro
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 857 - 861
  • [36] Automated Model Based Software Test Data Generation System
    Bashir, Muhammad Farhan
    Banuri, Syed Hammad Khalid
    2008 INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2008, : 277 - 281
  • [37] Automated Software Tool Support for Checking the Inconsistency of Requirements
    Kamalrudin, Massila
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 693 - 697
  • [38] Using software model checking for software component certification
    Taleghani, Ali
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 99 - 100
  • [39] Model Checking Large Software Specifications Software Engineering
    Software Eng Notes, 6 (156):
  • [40] 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
12345