Date Added: Oct 2011
High-coverage testing is challenging. Modern object-oriented programs present additional challenges for testing. One key difficulty is the generation of proper method sequences to construct desired objects as method parameters. In this paper, the authors cast the problem as an instance of program synthesis that automatically generates candidate programs to satisfy a user-specified intent. In their setting, candidate programs are method sequences, and desired object states specify an intent. Automatic generation of desired method sequences is difficult due to its large search space - sequences often involve methods from multiple classes and require specific primitive values.