Computer Science · Physical Sciences
41h-index6.1kcitations167works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(98), Software Engineering Research(59), Software Reliability and Analysis Research(57), Formal Methods in Verification(28), Advanced Malware Detection Techniques(28)
Publications167 total
2022· 15 citedOpen Access
TUGraz OPEN Library (Graz University of Technology)·2020· 30 citedOpen Access
2016· 15 citedOpen Access
Tap Here A Diff-powered Programming Tutorial Engine
2015
Parameterized Unit Testing in the Open Source Wild
2015· 2 cited
2015· 6 cited
International Conference on Software Engineering·2015· 40 cited
2015· 5 cited
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering·2015· 31 cited
1st International Code Hunt Workshop on Educational Software Engineering (CHESE 2015) : proceedings : July 14, 2015, Baltimore, MD, USA
2015
Proceedings of the 2nd Workshop on Programming for Mobile & Touch
ACM conference on Systems, Programming, Languages and Applications: Software for Humanity·2014
Automated Software Engineering·2014· 9 cited
2014· 10 cited
Proceedings of the Second International Workshop on CrowdSourcing in Software Engineering
International Conference on Software Engineering·2014· 4 cited
page 1 of 9Next →
Frequent Co-authors
Jonathan de Halleux(24), Tao Xie(22), Wolfram Schulte(17), Margus Veanes(8), Wolfgang Grieskamp(5), Peli de Halleux(5), Manuel Fähndrich(5), Judith Bishop(5), Lev Nachmanson(4), Michał Moskal(4), Patrice Godefroid(3), Colin Campbell(3), Xusheng Xiao(3), Judith Bishop(3), Suresh Thummalapenta(2), Sumit Gulwani(2), Kunal Taneja(2), Ana C. R. Paiva(2), João Pascoal Faria(2), Raul Moreira Vidal(2)