Just test what you cannot verify! M Czech, MC Jakobs, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2015 | 51 | 2015 |
Predicting rankings of software verification tools M Czech, E Hüllermeier, MC Jakobs, H Wehrheim Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2017 | 32 | 2017 |
Heuristic-guided abstraction refinement for concurrent systems N Timm, H Wehrheim, M Czech Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 8 | 2012 |
Predicting Rankings of Software Verification Competitions M Czech, E Hüllermeier, MC Jakobs, H Wehrheim arXiv preprint arXiv:1703.00757, 2017 | 1 | 2017 |
Requirements Specification J Bobolz, M Czech, A Dann, J Geismann, M Hüwe, A Kriger, G Piskachev, ... | | |
Requirements Specification and Project Plan J Bobolz, M Czech, A Dann, J Geismann, M Hüwe, A Krieger, ... | | |