Automating regression verification D Felsing, S Grebing, V Klebanov, P Rümmer, M Ulbrich Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 173 | 2014 |
KIT-LehreForschung Publikationen und Beiträge M Budde, J De Melo Borges, S Tomov, T Riedel, M Beigl, D Felsing, ... International Journal of Information and Education Technology 5, 250-254, 2015 | | 2015 |