CUTE: a concolic unit testing engine for C

@inproceedings{Sen2005CUTEAC,
  title={CUTE: a concolic unit testing engine for C},
  author={Koushik Sen and Darko Marinov and Gul A. Agha},
  booktitle={ESEC/FSE-13},
  year={2005}
}
  • Koushik Sen, Darko Marinov, Gul A. Agha
  • Published in ESEC/FSE-13 2005
  • Computer Science
  • In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may contain pointer arguments, in which case the inputs to the unit are memory graphs. The paper addresses the problem of automating unit testing with memory graphs as inputs. The approach used builds on previous work combining symbolic and concrete execution, and more specifically, using such a combination to… CONTINUE READING

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

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 1,416 CITATIONS

    Concolic testing for models of state-based systems

    VIEW 13 EXCERPTS
    CITES BACKGROUND, RESULTS & METHODS
    HIGHLY INFLUENCED

    Improving Systematic Constraint-driven Analysis Using Incremental and Parallel Techniques

    VIEW 13 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Techniques to facilitate symbolic execution of real-world programs

    VIEW 19 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    A heuristic algorithm for reducing system-level test vectors with high branch coverage

    VIEW 7 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

    VIEW 9 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Test generation through programming in UDITA

    VIEW 6 EXCERPTS
    CITES BACKGROUND

    Looper: Lightweight Detection of Infinite Loops at Runtime

    VIEW 5 EXCERPTS
    CITES METHODS

    Symbolic Execution for Dynamic, Evolutionary Test Data Generation

    VIEW 5 EXCERPTS
    CITES RESULTS & BACKGROUND
    HIGHLY INFLUENCED

    Contract-based verification and test case generation for open systems

    VIEW 12 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2005
    2020

    CITATION STATISTICS

    • 246 Highly Influenced Citations

    • Averaged 106 Citations per year from 2017 through 2019

    References

    Publications referenced by this paper.
    SHOWING 1-4 OF 4 REFERENCES

    Generating test data for functions with pointer inputs

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Test input generation with java PathFinder

    VIEW 9 EXCERPTS
    HIGHLY INFLUENTIAL