Automatic partial loop summarization in dynamic test generation.

Patrice Godefroid, Daniel Luchaup

Browse the full ISSTA paper archive.