Steering model-based oracles to admit real program behaviors.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Browse the full ICSE paper archive.