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