Skip to content

Generating source inputs for metamorphic testing using dynamic symbolic execution.

Eman Alatawi, Tim Miller, Harald Sndergaard

VenueA*ICSE
Year2016
ProceedingsMET@ICSE

Browse the full ICSE paper archive.