Automatic Test Data Generation for C Programs

@article{Bokil2009AutomaticTD,
  title={Automatic Test Data Generation for C Programs},
  author={Prasad Bokil and Priyanka Darke and Ulka Shrotri and R. Venkatesh},
  journal={2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement},
  year={2009},
  pages={359-368}
}
Preparation of test data that adequately tests a given piece of code is very expensive and effort intensive. This paper presents a tool AutoGen that reduces this cost and effort by automatically generating test data for C code. AutoGen takes the C code and a criterion such as statement coverage, decision coverage, or Modified Condition/Decision Coverage (MCDC) and generates non-redundant test data that satisfies the specified criterion. This paper also presents our experience in using this tool… CONTINUE READING

Citations

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

Cost-effective functional testing of reactive software

  • 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
  • 2015
VIEW 4 EXCERPTS
CITES METHODS

Effectiveness of Random Testing of Embedded Systems

  • 2012 45th Hawaii International Conference on System Sciences
  • 2012
VIEW 8 EXCERPTS
CITES METHODS

Making a concolic tester achieve increased MC/DC

  • Innovations in Systems and Software Engineering
  • 2016
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

References

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

An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion

Chilenski, John Joseph
  • FAA Tech Center Report DOT/FAA/AR-01/18,
  • 2001
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Majumdar.Testing for Buffer Overflows with Length Abstraction

Ru-Gang Xu, R. P. Godefroid
  • In Proceedings of ISSTA’08, July 20-24,
  • 2008
VIEW 1 EXCERPT

The software model checker Blast

  • International Journal on Software Tools for Technology Transfer
  • 2007
VIEW 2 EXCERPTS

Experimental Evaluation of the Variation in Effectiveness for DC , FPC and MC / DC Test Criteria

M. Boshernitsan, R. Doong, A. Savoia
  • 2006

A Theory of Predicate-Complete Test Coverage and Generation

Thomas Ball
  • In Proceedings of Formal Methods for Components and Objects
  • 2005
VIEW 1 EXCERPT

Coverage based test-case generation using model checkers

  • Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001
  • 2001
VIEW 1 EXCERPT

Telelogic Rhapsody ATG The SLAM project : Debugging system software via static analysis

Kelly J. Hayhurst, Henzinger Beyer
  • , Jhala and Majumdar : The software model - checker BLAST