Test input generation for java containers using state matching

  title={Test input generation for java containers using state matching},
  author={W. Visser and C. Pasareanu and Radek Pel{\'a}nek},
  booktitle={ISSTA '06},
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequately. We describe techniques for automated test input generation of Java container classes. Test inputs are sequences of method calls from the container interface. The techniques rely on state matching to avoid generation of redundant tests. Exhaustive techniques use model checking with explicit or symbolic execution to… Expand
Efficient Test Generation Guided by Field Coverage Criteria
Random testing for higher-order, stateful programs
Instance Generator and Problem Representation to Improve Object Oriented Code Coverage
Test generation through programming in UDITA
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution
  • Kobi Inkumsah, Tao Xie
  • Computer Science
  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
Lightweight Automated Testing with Adaptation-Based Programming
Coverage-Driven Test Code Generation for Concurrent Classes
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking