Delta execution for efficient state-space exploration of object-oriented programs.

Marcelo d'Amorim, Steven Lauterburg, Darko Marinov

Browse the full ISSTA paper archive.