Skip to content

Shadow symbolic execution for better testing of evolving software.

Cristian Cadar, Hristina Palikareva

VenueA*ICSE
Year2014
ProceedingsICSE Companion

Browse the full ICSE paper archive.