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 条
  • [41] Testing hypotheses in an engineering domain: Combining static and dynamic analysis of pneumatic circuits
    Willms, J
    Gohler, H
    Mobus, C
    ARTIFICIAL INTELLIGENCE IN EDUCATION: KNOWLEDGE AND MEDIA IN LEARNING SYSTEMS, 1997, 39 : 680 - 682
  • [42] A Visualization Technique for the Passage Rates of Unit Testing and Static Checking with Caller-Callee Relationships
    Muto, Yuko
    Okano, Kozo
    Kusumoto, Shinji
    2011 NINTH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS WORKSHOPS (ISPAW), 2011, : 336 - 341
  • [43] Checking, Testing, Evaluating
    Drackert, Anastasia
    UNTERRICHTSPRAXIS-TEACHING GERMAN, 2016, 49 (01): : 107 - +
  • [44] Watch 'n' Check: Towards a Social Media Monitoring Tool to Assist Fact-Checking Experts
    Cerone, Assunta
    Naghizade, Elham
    Scholer, Falk
    Mallal, Devi
    Skelton, Russell
    Spina, Damiano
    2020 IEEE 7TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA 2020), 2020, : 607 - 613
  • [45] Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
    WenHui Zhang
    Journal of Computer Science and Technology, 2003, 18 : 762 - 770
  • [46] Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
    Zhang, WH
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 18 (06) : 762 - 770
  • [47] An Incremental Algorithm to Check Satisfiability for Bounded Model Checking
    Jin, HoonSang
    Somenzi, Fabio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 119 (02) : 51 - 65
  • [48] Ubi-Check: A Pervasive Integrity Checking System
    Banatre, Michel
    Allard, Fabien
    Couderc, Paul
    SMART SPACES AND NEXT GENERATION WIRED/WIRELESS NETWORKING, PROCEEDINGS, 2009, 5764 : 89 - 96
  • [49] SELECTION OF CHECK POINTS FOR THE AUTOMATIC CHECKING OF MEASURING FACILITIES
    SHILOV, AM
    MEASUREMENT TECHNIQUES USSR, 1981, 24 (06): : 431 - 434
  • [50] Static consistency checking for distributed specifications
    Nentwich, C
    Emmerich, W
    Finkelstein, A
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 115 - 124
12345