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