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 条
  • [1] Check 'n' crash: Combining static checking and testing
    Csallner, C
    Smaragdakis, Y
    ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 422 - 431
  • [2] Combining Static and Dynamic Contract Checking for Curry
    Hanus, Michael
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 323 - 340
  • [3] Combining Static and Dynamic Contract Checking for Curry
    Hanus, Michael
    FUNDAMENTA INFORMATICAE, 2020, 173 (04) : 285 - 314
  • [4] Combining static analysis and model checking for software analysis
    Brat, G
    Visser, W
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 262 - 269
  • [5] Combining static analysis and model checking for systems employing commutative functions
    Sistla, AP
    Zhou, M
    FORMAL TECHNIQUES FOR NEWTOWRKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 68 - 82
  • [6] Combining Static Analysis and Testing for Deadlock Detection
    Albert, Elvira
    Gomez-Zamalloa, Miguel
    Isabel, Miguel
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 409 - 424
  • [7] Checking the reality check
    Ghazoul, Jaboury
    Koh, Lian Pin
    Levang, Patrice
    TRENDS IN ECOLOGY & EVOLUTION, 2010, 25 (01) : 8 - 9
  • [8] Combining Symbolic Execution and Model Checking for Data Flow Testing
    Su, Ting
    Fu, Zhoulai
    Pu, Geguang
    He, Jifeng
    Su, Zhendong
    2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, : 654 - 665
  • [9] Combining testing and model checking for verification of high assurance systems
    Desovski, D
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 279 - 280
  • [10] CHECK FOR INJURIES AFTER THE CRASH
    MEAD, T
    DATAMATION, 1987, 33 (23): : 3 - 3
12345