The AGEDIS tools for model based testing.

Alan Hartman, Kenneth Nagin

Browse the full ISSTA paper archive.