Technology of test-case generation

被引：0
|
作者：
Lúcio, L [1 ]
Samer, M
机构：
[1] Univ Geneva, Software Modelling & Verificat Grp, CH-1211 Geneva, Switzerland
[2] Vienna Univ Technol, Inst Informat Syst, Vienna, Austria
来源：
MODEL-BASED TESTING OF REACTIVE SYSTEMS | 2005年 / 3472卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：323 / 354
页数：32
相关论文
共 50 条
  • [1] TEST-CASE GENERATION WITH IOGEN
    LINDQUIST, TE
    JENKINS, JR
    [J]. IEEE SOFTWARE, 1988, 5 (01) : 72 - 79
  • [2] Automatic Test-Case Generation
    Machado, Patricia
    Sampaio, Augusto
    [J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
  • [3] Automatic Test-Case Generation with CoVeriTest
    Jakobs, Marie-Christine
    [J]. TESTS AND PROOFS (TAP 2022), 2022, 13361 : 3 - 8
  • [4] Formal test-case generation for UML statecharts
    Gnesi, S
    Latella, D
    Massink, M
    [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 75 - 84
  • [5] TEST-CASE
    WILSON, B
    [J]. DAIRY INDUSTRIES INTERNATIONAL, 1995, 60 (01) : 19 - 19
  • [6] Test-Case Generation for Web-Service Clients
    Fuchs, Andreas
    Kuchen, Herbert
    [J]. 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1518 - 1527
  • [7] Mutation-Based Test-Case Generation with Ecdar
    Larsen, Kim G.
    Lorber, Florian
    Nielsen, Brian
    Nyman, Ulrik M.
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 319 - 328
  • [8] Exhaustive Test-case Generation using Symbolic Execution
    Uehara, Tadahiro
    [J]. FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2016, 52 (01): : 34 - 40
  • [9] Design and implementation of test-case generation for concurrent programs
    Katayama, T
    Furukawa, Z
    Ushijima, K
    [J]. 1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 262 - 269
  • [10] MUSIC AS A TEST-CASE
    COHEN, HF
    [J]. STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 1985, 16 (04): : 351 - 378
12345