Browse
Administrators only
Discover
Author
Bloem, R (1)
IEEE (1)
Koenighofer, R (1)Roeck, F (1)
Tautschnig, M (1)
Subjectmodel checking (1)symbolic execution (1)test suite augmentation (1)... View MoreDate Issued
2014 (1)