Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs

@inproceedings{Xie2008MethodSequenceEF,
  title={Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs},
  author={Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
  year={2008}
}
A unit test for an object-oriented program involves a sequence of method calls, which create, mutate, or observe objects. Some method arguments may have primitive types. Recent advances in symbolic execution enable the effective generation of relevant primitive values, given a fixed sequence of method calls. However, there exists a challenge in test generation: determining a sequence of method calls that may bring an object into a desirable state if the right primitive values are chosen. A… CONTINUE READING