Browse
Administrators only
Discover
AuthorBloem, 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)