Automatically generating test cases for specification mining

被引：0
|
作者：
Saarland University, Universität des Saarlandes, Campus E1 1, Saarbrücken 66123, Germany [1 ]
不详 [2 ]
机构：
来源：
IEEE Trans Software Eng | / 2卷 / 243-257期
关键词：
Dynamic specifications - False positive - Program behavior - Program execution - Specification mining - Systematic test - Test case generation - Typestate analysis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Automatically Generating Test Cases for Specification Mining
    Dallmeier, Valentin
    Knopp, Nikolai
    Mallon, Christoph
    Fraser, Gordon
    Hack, Sebastian
    Zeller, Andreas
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (02) : 243 - 257
  • [2] Generating test cases for specification mining
    Saarland University - Computer Science, Saarbrücken, Germany
    ISSTA - Proc. Int. Symp. Softw. Test. Anal., (85-95):
  • [3] Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification
    Zhou, Yuqin
    Sugihara, Taku
    Sato, Yuji
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2015, 8979 : 17 - 31
  • [4] AUTOMATICALLY GENERATING TEST DATA FROM A BOOLEAN SPECIFICATION
    WEYUKER, E
    GORADIA, T
    SINGH, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (05) : 353 - 363
  • [5] AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK-BOX TEST CASES
    Xu Baowen Nie Changhai Shi Qunfeng Lu Hong (Department of computer Science & Engineering
    JournalofElectronics(China), 2003, (01) : 74 - 77
  • [6] Automatically generating error-traceable test cases based on compiler
    He, Yanxiang
    Chen, Yong
    Wu, Wei
    Xu, Chao
    Wu, Libing
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2012, 49 (09): : 1843 - 1851
  • [7] A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
    Liu, Shaoying
    Nakajima, Shin
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 73 - 80
  • [8] Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries
    Zhou, Min
    Cheng, Xi
    Guo, Xinrui
    Gu, Ming
    Zhang, Hongyu
    Song, Xiaoyu
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 164 - 173
  • [9] Automatically Generating Test Templates from Test Names
    Zhang, Benwen
    Hill, Emily
    Clause, James
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 506 - 511
  • [10] Automatically generating test cases for safety-critical software via symbolic execution
    Kurian, Elson
    Briola, Daniela
    Braione, Pietro
    Denaro, Giovanni
    JOURNAL OF SYSTEMS AND SOFTWARE, 2023, 199
12345