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 条
  • [31] An Integrated Automatic Test Generation and Executing System
    Chen, Huxun
    Chen, DeQing
    Ye, Jinlin
    Cao, Weizhou
    Gao, Lei
    [J]. IEEE AUTOTESTCON 2011: SYSTEMS READINESS TECHNOLOGY CONFERENCE, 2011, : 383 - 390
  • [32] qATG: Automatic Test Generation for Quantum Circuits
    Wu, Chen-Hung
    Hsieh, Cheng-Yun
    Li, Jiun-Yun
    Li, James Chien-Mo
    [J]. 2020 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2020,
  • [33] NaNofuzz: A Usable Tool for Automatic Test Generation
    Davis, Matthew C.
    Choi, Sangheon
    Estep, Sam
    Myers, Brad A.
    Sunshine, Joshua
    [J]. PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 1114 - 1126
  • [34] Automatic test cases generation based on OCL
    Xie Xuanang
    Zhang Yunhua
    Jiang Zhongwei
    [J]. PROCEEDINGS OF THE FIRST INTERNATIONAL SYMPOSIUM ON TEST AUTOMATION & INSTRUMENTATION, VOLS 1 - 3, 2006, : 1170 - 1175
  • [35] Automatic generation of test models for model transformations
    Wang, Junhua
    Kim, Soon-Kyeong
    Carrington, David
    [J]. ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 432 - 440
  • [36] AUTOMATIC TEST PATTERN GENERATION COMES OF AGE
    YURASH, S
    GALIVANCHE, R
    [J]. ELECTRONIC ENGINEERING, 1991, 63 (777): : 35 - &
  • [37] An automatic approach of domain test data generation
    Jeng, BC
    Forgács, I
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1999, 49 (01) : 97 - 112
  • [38] Automatic Test Generation on the Basis of a Semantic Network
    Dolgova, Elena
    Eriskina, E., V
    Faizrakhmanov, Rustam
    Kasyanova, E. A.
    Kurushin, D. S.
    Nesterova, N. M.
    Soboleva, O., V
    [J]. DIGITAL SCIENCE, 2019, 850 : 159 - 165
  • [39] AUTOMATIC TEST PATTERN GENERATION WITH BRANCH TESTING
    MAKKI, RZ
    BOUGHAZALE, S
    TIANSHANG, C
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (06) : 785 - 791
  • [40] COMBINATORIAL DESIGN APPROACHES FOR AUTOMATIC TEST GENERATION
    Shi Liang Xu Baowen Nie Changhai (Dept of Computer Science & Eng.
    [J]. Journal of Electronics(China), 2005, (02) : 205 - 208
12345