Leveraging Program Structure for Test Case Generation.

Ilia Zlatkin, Grigory Fedyukovich

Browse the full ATVA paper archive.