Skip to content

Compositional dynamic test generation.

Patrice Godefroid

VenueA*POPL
Year2007
ProceedingsPOPL

Browse the full POPL paper archive.