Date Added: Jul 2011
State-of-the art techniques for automated test generation focus on generating executions that cover program behavior. As they do not generate oracles, it is up to the developer to figure out what a test does and how to check the correctness of the observed behavior. In this paper, the authors present an approach to generate parameterized unit tests - unit tests containing symbolic pre- and post-conditions characterizing test input and test result. Starting from concrete inputs and results, they use test generation and mutation to systematically generalize pre- and post-conditions while simplifying the computation steps.