PET: An Interactive Software Testing Tool.

Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled

Browse the full CAV paper archive.