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 条
  • [21] Requirements on automatically generated random test cases
    Arts, Thomas
    Gerdes, Alex
    Kronqvist, Magnus
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1347 - 1354
  • [22] Towards automatically generating test paths for Web application testing
    Miao, Huaikou
    Qian, Zhongsheng
    Song, Bo
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 211 - 218
  • [23] Generating test cases from sequences of use cases
    Gutierrez, Javier J.
    Escalona, Maria J.
    Mejias, Manuel
    Torres, Jesus
    WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: INTERNET TECHNOLOGY / WEB INTERFACE AND APPLICATIONS, 2006, : 473 - 476
  • [24] Generating Test Cases by An Innovative Way
    Zhao, Shumei
    Lv, Chunfeng
    MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 5841 - 5847
  • [25] Structural induction for generating test cases
    Song, Guoxing
    Huadong Huagong Xueyuan xuebao, 1990, 16 (05): : 572 - 576
  • [26] Generating asynchronous test cases from test purposes
    Simao, Adenilso
    Petrenko, Alexandre
    INFORMATION AND SOFTWARE TECHNOLOGY, 2011, 53 (11) : 1252 - 1262
  • [27] A method to automatically generate test cases from requirements
    Jiang, Mingyue
    Ding, Zuohua
    Advances in Information Sciences and Service Sciences, 2012, 4 (05): : 9 - 20
  • [28] Automatically Identifying Focal Methods under Test in Unit Test Cases
    Ghafari, Mohammad
    Ghezzi, Carlo
    Rubinov, Konstantin
    2015 IEEE 15TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2015, : 61 - 70
  • [29] Test cases generation based on formal specification
    State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
    不详
    Jiefangjun Ligong Daxue Xuebao, 2009, 4 (318-323):
  • [30] Automatically Repairing Test Cases for Evolving Method Declarations
    Mirzaaghaei, Mehdi
    Pastore, Fabrizio
    Pezze, Mauro
    2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,
12345