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 条
  • [21] Automatic Test Case Generation for Context Based Multiplicity Checking in UML
    Zhou, Weifeng
    Li, Xinmin
    Lv, Shengqing
    Zhang, Zhuo
    [J]. ADVANCES IN MECHATRONICS AND CONTROL ENGINEERING II, PTS 1-3, 2013, 433-435 : 1643 - +
  • [22] Counter-example generation in symbolic abstract model-checking
    Gordon Pace
    Nicolas Halbwachs
    Pascal Raymond
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 158 - 164
  • [23] Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
    Vecchie, Eric
    de Simone, Robert
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 153 (04) : 19 - 35
  • [24] Model-checking task-parallel programs for data-race
    Radha Nakade
    Eric Mercer
    Peter Aldous
    Kyle Storey
    Benjamin Ogles
    Joshua Hooker
    Sheridan Jacob Powell
    Jay McCarthy
    [J]. Innovations in Systems and Software Engineering, 2019, 15 : 289 - 306
  • [25] Model-checking multi-threaded distributed Java']Java programs
    Stoller, SD
    [J]. SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
  • [26] Model-Checking Secure Information Flow for Multi-threaded Programs
    Huisman, Marieke
    Blondeel, Henri-Charles
    [J]. THEORY OF SECURITY AND APPLICATIONS, 2012, 6993 : 148 - +
  • [27] Model-Checking Temporal Properties of Real-Time HTL Programs
    Carvalho, Andre
    Carvalho, Joel
    Pinto, Jorge Sousa
    de Sousa, Simao Melo
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 191 - +
  • [28] Model-checking task-parallel programs for data-race
    Nakade, Radha
    Mercer, Eric
    Aldous, Peter
    Storey, Kyle
    Ogles, Benjamin
    Hooker, Joshua
    Powell, Sheridan Jacob
    McCarthy, Jay
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (3-4) : 289 - 306
  • [29] Model-checking real-time control programs -: Verifying LEGO® MINDSTORMS™ systems using UPPAAL
    Iversen, TK
    Kristoffersen, KJ
    Larsen, KG
    Laursen, M
    Madsen, RG
    Mortensen, SK
    Petterson, P
    Thomasen, CB
    [J]. EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2000, : 147 - 155
  • [30] Test Case Generation from Conjunctions of Predicates with Model Checking
    TIAN Cong
    LIU Shaoying
    DUAN Zhenhua
    [J]. Chinese Journal of Electronics, 2014, 23 (02) : 271 - 277
12345