Execution Generated Test Cases: How to Make Systems Code Crash Itself

@inproceedings{Cadar2005ExecutionGT,
  title={Execution Generated Test Cases: How to Make Systems Code Crash Itself},
  author={Cristian Cadar and Dawson R. Engler},
  booktitle={SPIN},
  year={2005}
}
  • Cristian Cadar, Dawson R. Engler
  • Published in SPIN 2005
  • Computer Science
  • This paper presents a technique that uses code to automatically generate its own test cases at run time by using a combination of symbolic and concrete (i.e regular) execution The input values to a program (or software component) provide the standard interface of any testing framework with the program it is testing and generating input values that will explore all the “interesting” behavior in the tested program remains an important open problem in software testing research. Our approach works… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Figures, Tables, and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 204 CITATIONS

    File Parsing Vulnerability Detection with Symbolic Execution

    VIEW 6 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Automatically generating malicious disks using symbolic execution

    VIEW 4 EXCERPTS
    CITES METHODS

    A Survey of Search Strategies in the Dynamic Symbolic Execution

    VIEW 4 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Combining Static and Dynamic Analysis for Bug Detection and Program Understanding

    VIEW 5 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    SEDGE: Symbolic example data generation for dataflow programs

    VIEW 11 EXCERPTS
    CITES RESULTS & METHODS
    HIGHLY INFLUENCED

    Symbolic search-based testing

    VIEW 12 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    EXE: Automatically Generating Inputs of Death

    VIEW 5 EXCERPTS
    CITES METHODS, BACKGROUND & RESULTS

    CUTE: a concolic unit testing engine for C

    VIEW 5 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2005
    2020

    CITATION STATISTICS

    • 18 Highly Influenced Citations

    • Averaged 12 Citations per year from 2017 through 2019

    • 9% Increase in citations per year in 2019 over 2018

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 24 REFERENCES

    A theory of predicate-complete test coverage and generation

    • T. Ball
    • In FMCO’2004: Symp. on Formal Methods for Components and Objects. SpringerPress,
    • 2004
    VIEW 2 EXCERPTS

    Beebee . Enhancing server availability and security through failureoblivious computing

    • S. J.William
    • Symposium on Operating Systems Design and Implementation , December
    • 2002