Check 'n' crash: Combining static checking and testing

被引：0
|
作者：
Csallner, Christoph [1 ]
Smaragdakis, Yannis [1 ]
机构：
[1] College of Computing, Georgia Institute of Technology, Atlanta, GA 30332, United States
来源：
Proc Int Conf Software Eng | / 422-431期
关键词：
Compendex;
D O I：
1553585
中图分类号：
学科分类号：
摘要：
Automatic testing - Automation - Error detection - Java programming language - Quality of service - Theorem proving - Usability engineering
引用
收藏
相关论文
共 50 条
  • [21] Automated coverage-driven testing: combining symbolic execution and model checking
    Ting SU
    Geguang PU
    Weikai MIAO
    Jifeng HE
    Zhendong SU
    ScienceChina(InformationSciences), 2016, 59 (09) : 242 - 243
  • [22] Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
    Ben Salem, Ala Eddine
    Graiet, Mohamed
    2015 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2015, : 20 - 29
  • [23] Towards Combining Model Checking and Proof Checking
    Jiang, Ying
    Liu, Jian
    Dowek, Gilles
    Ji, Kailiang
    COMPUTER JOURNAL, 2019, 62 (09): : 1365 - 1402
  • [24] Automated coverage-driven testing: combining symbolic execution and model checking
    Su, Ting
    Pu, Geguang
    Miao, Weikai
    He, Jifeng
    Su, Zhendong
    SCIENCE CHINA-INFORMATION SCIENCES, 2016, 59 (09)
  • [25] CHECKING INTO DISTRIBUTED PROCESSING - CHECK THESE CONSIDERATIONS
    不详
    DATA MANAGEMENT, 1978, 16 (03): : 17 - 18
  • [26] PVS: Combining specification, proof checking, and model checking
    Shankar, N
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 257 - 264
  • [27] Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
    Aichernig, Bernhard K.
    Joebstl, Elisabeth
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (80): : 88 - 102
  • [28] Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
    Herber, Paula
    Friedemann, Florian
    Glesner, Sabine
    TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 121 - 136
  • [29] Combining Humidity Testing and Static Bending with Flip Chip Test Structures
    Kokko, Kati H.
    2013 EUROPEAN MICROELECTRONICS PACKAGING CONFERENCE (EMPC), 2013,
  • [30] MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
    Zhang, William
    Ganesh, Vijay
    Banescu, Sebastian
    Pasos, Leodardo
    Stewart, Steven
    2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 456 - 462
12345