Automatic test generation for predicates

被引：2
|
作者：
Paradkar, A [1 ]
Tai, KC [1 ]
Vouk, MA [1 ]
机构：
[1] N CAROLINA STATE UNIV,DEPT COMP SCI,RALEIGH,NC 27695
来源：
SEVENTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS | 1996年
关键词：
automated test data generation; specification-based testing; cause-effect graphs; predicates;
D O I：
10.1109/ISSRE.1996.558700
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：66 / 75
页数：10
相关论文
共 50 条
  • [21] AUTOMATIC SOFTWARE TEST-GENERATION
    CAMUFFO, M
    MAIOCCHI, M
    MORSELLI, M
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
  • [22] Automatic Test Generation for Coverage Improvement
    Wilson, Chris
    [J]. HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 141 - 142
  • [23] Automatic Test-Case Generation
    Machado, Patricia
    Sampaio, Augusto
    [J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
  • [24] Test of distributed, cooperative Systems - Test Generation and automatic Test Execution
    Krause, Jan
    Holzmueller, Bernd
    [J]. AUTOMATION 2011, 2011, 213 : 73 - 77
  • [25] On the Automatic Generation of SBST Test Programs for In-Field Test
    Riefert, Andreas
    Cantoro, Riccardo
    Sauer, Matthias
    Reorda, Matteo Sonza
    Becker, Bernd
    [J]. 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1186 - 1191
  • [26] Automatic test generation algorithms for analogue circuits
    Soma, M
    [J]. IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS, 1996, 143 (06): : 366 - 373
  • [27] COMBINATORIAL DESIGN APPROACHES FOR AUTOMATIC TEST GENERATION
    Shi Liang Xu Baowen Nie Changhai Dept of Computer Science Eng Southeast University Nanjing ChinaJiangsu Institute of Software Quality Nanjing China Dept of Computer National University of Defense Technology Changsha China
    [J]. JournalofElectronics., 2005, (02) - 208
  • [28] AUTOMATIC-GENERATION OF A COMPACT TEST SUITE
    GUPTA, R
    SOFFA, ML
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 237 - 243
  • [29] The combinatorial design approach to automatic test generation
    Cohen, DM
    Dalal, SR
    Parelius, J
    Patton, GC
    [J]. IEEE SOFTWARE, 1996, 13 (05) : 83 - 88
  • [30] Automatic test sequences generation for SSCOP protocol
    Lee, BH
    Chin, BM
    [J]. TWELFTH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN-12), PROCEEDINGS, 1998, : 684 - 689
12345