Finding the needles in the haystack: Generating legal test inputs for object-oriented programs

A test input for an object-oriented program typically consists of asequence of method calls that use the API defined by the programunder test. Generating legal test inputs can be challenging because,for some programs, the set of legal method sequences is much smallerthan the set of all possible sequ...

Full description

Bibliographic Details
Main Authors: Artzi, Shay, Ernst, Michael D., Kiezun, Adam, Pacheco, Carlos, Perkins, Jeff H.
Other Authors: Michael Ernst
Language:en_US
Published: 2006
Online Access:http://hdl.handle.net/1721.1/33959