Time constraint and test case generation in conformance testing

被引：0
|
作者：
Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China [1 ]
不详 [2 ]
机构：
来源：
Hsi An Chiao Tung Ta Hsueh | 2006年 / 4卷 / 381-385期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Automatic Conformance test generation for protocols specified in EFSM
    Xu, Jun
    Shu, Ting
    Lai, Sien
    Jia, Yubo
    AUTOMATION EQUIPMENT AND SYSTEMS, PTS 1-4, 2012, 468-471 : 519 - 522
  • [32] Hybrid input-output conformance and test generation
    van Osch, Michiel
    Formal Approaches to Software Testing and Runtime Verification, 2006, 4262 : 70 - 84
  • [33] Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
    Silvia Regina Vergilio
    José Carlos Maldonado
    Mario Jino
    Journal of Electronic Testing, 2001, 17 : 175 - 183
  • [34] Constraint based criteria: An approach for test case selection in the structural testing
    Vergilio, SR
    Maldonado, JC
    Jino, M
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (02): : 175 - 183
  • [35] A Constraint-Based Framework for Test Case Generation in Method-Level Black-Box Unit Testing
    Chang, Chi-Kuang
    Lin, Nai-Wei
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2016, 32 (02) : 365 - 387
  • [36] Toward a Constraint Based Test Case Generation of Parallel BPEL Process
    Serbout, Sara
    Benattou, Mohammed
    PROCEEDINGS OF 2018 6TH INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2018, : 329 - 334
  • [37] Test case description language (TCDL): Test case metadata for conformance evaluation
    Strobbe, Christophe
    Herramhof, Sandor
    Vlachogiannis, Evangelos
    Velasco, Carlos A.
    COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, 2006, 4061 : 164 - 171
  • [38] An Approach to Automatic Test Case Generation for Unit Testing
    Liu, Pan
    Xu, Zhenning
    Ai, Jun
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 545 - 552
  • [39] Test Case Generation for Context Testing of Embedded Systems
    Yang, Qi-Ping
    Kim, Tae-Hyong
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (11): : 142 - 148
  • [40] Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
    Bombarda, Andrea
    Bonfanti, Silvia
    Gargantini, Angelo
    Radavelli, Marco
    Duan, Feng
    Lei, Yu
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2019), 2019, 11812 : 67 - 85
12345