Automated Test Data Generation for Programs with Procedures.

Bogdan Korel

Browse the full ISSTA paper archive.