Automatic Test Case Generation by means of Model-Checking for Control Programs

被引：0
|
作者：
Kormann, B. [1 ]
Witsch, D. [1 ]
Vogel-Heuser, B. [1 ]
机构：
[1] Tech Univ Munich, Lehrstuhl Informat Tech, Garching, Germany
来源：
AUTOMATION 2010 | 2010年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：473 / 476
页数：4
相关论文
共 50 条
  • [1] Towards Model-Checking Programs with Lists
    Finkel, Alain
    Lozes, Etienne
    Sangnier, Arnaud
    [J]. INFINITY IN LOGIC AND COMPUTATION, 2009, 5489 : 56 - 86
  • [2] Automatic Test Cases Generation for C Written Programs Using Model Checking
    Gonzalez Lima, Daniset
    Gonzalez Torres, Raul E.
    Mejia Alvarez, Pedro
    [J]. 2021 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI 2021), 2021, : 1944 - 1950
  • [3] Using model-checking for Timed Automata to parameterize logic control programs
    Kowalewski, S
    Engell, S
    Huuck, R
    Lakhnech, Y
    Lukoschus, B
    Urbina, L
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1998, 22 : S875 - S878
  • [4] LTL Model-Checking for Communicating Concurrent Programs
    Pommellet, Adrien
    Touili, Tayssir
    [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, 2018, 11181 : 150 - 165
  • [5] Model-checking techniques for stratified case-control studies
    Arbogast, PG
    Lin, DY
    [J]. STATISTICS IN MEDICINE, 2005, 24 (02) : 229 - 247
  • [6] Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems
    Mihret, Zelalem
    Liu, Lingjun
    [J]. 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON ENGINEERING AND CYBERSECURITY OF CRITICAL SYSTEMS (ENCYCRIS 2021), 2021, : 1 - 8
  • [7] Model-checking access control policies
    Guelev, DP
    Ryan, M
    Schobbens, PY
    [J]. INFORMATION SECURITY, PROCEEDINGS, 2004, 3225 : 219 - 230
  • [8] On Model-Checking Higher-Order Effectful Programs
    Dal Lago, Ugo
    Ghyselen, Alexis
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [9] Complexity of Model-Checking Call-by-Value Programs
    Tsukada, Takeshi
    Kobayashi, Naoki
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 180 - 194
  • [10] Incremental test case generation using bounded model checking: an application to automatic rating
    Grzegorz Anielak
    Grzegorz Jakacki
    Sławomir Lasota
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 339 - 349
12345