Efficient observability-based test generation by dynamic symbolic execution.

Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay

Browse the full ISSRE paper archive.