DYNATEST: Dynamic software-testing system.

David C. Pheanis, John A. Jackson

Browse the full CATA paper archive.