Test case generation as an AI planning problem

被引：0
|
作者：
Howe, Adele E. [1 ]
Von Mayrhauser, Anneliese [1 ]
Mraz, Richard T. [1 ]
机构：
[1] Colorado State Univ, Fort Collins, United States
来源：
Automated Software Engineering | 1997年 / 4卷 / 01期
关键词：
Number:; IRI-9308573; Acronym:; NSF; Sponsor: National Science Foundation; -; CSU; Sponsor: Colorado State University; AFIT; Sponsor: Air Force Institute of Technology;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：77 / 106
相关论文
共 50 条
  • [41] Automatic software test case generation
    Department of Computer Engineering, Alzahra University of Tehran, Vanak St., Tehran, Iran
    不详
    J. Softw. Eng., 3 (91-101):
  • [42] Test Case Generation for Automotive Applications
    Tekaya, Manel
    Bennani, Mohamed Taha
    Youssef, Anis
    2014 WORLD SYMPOSIUM ON COMPUTER APPLICATIONS & RESEARCH (WSCAR), 2014,
  • [43] Architecting specifications for test case generation
    Sinnott, R
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 24 - 32
  • [44] A model for test case design and generation
    Salem, AM
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 242 - 247
  • [45] TEST CASE GENERATION FOR TRANSPORT PROTOCOLS
    RAGHAVAN, SV
    BHARGHAVAN, V
    SATISH, S
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 6 : 159 - 178
  • [46] Teaching automated test case generation
    Chen, TY
    Kuo, FC
    Zhou, ZQ
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 327 - 332
  • [47] Tool for automatic test case generation
    Sarala, S
    Valli, S
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2004, 108 : 65 - 74
  • [48] Refinement and Test Case Generation in UTP
    Aichernig, Bernhard K.
    He, Jifeng
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 187 (125-143) : 125 - 143
  • [49] Test Case Generation, UML, And Eclipse
    Fernandez-Sanz, Luis
    Lara-Bercial, Pedro J.
    DR DOBBS JOURNAL, 2008, 33 (11): : 49 - 52
  • [50] Technology of test-case generation
    Lúcio, L
    Samer, M
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 323 - 354
12345