Active Model Learning for Software Interrogation and Diagnosis.

Adam A. Porter, Alan F. Karr

Browse the full ICST paper archive.