| Event‐based modelling, analysis and testing of user interactions: approach and case study F Belli, CJ Budnik, L White Software Testing, Verification and Reliability 16 (1), 3-32, 2006 | 159 | 2006 |
| Model-based mutation testing—approach and case studies F Belli, CJ Budnik, A Hollmann, T Tuglular, WE Wong Science of Computer Programming 120, 25-48, 2016 | 85 | 2016 |
| Basic operations for generating behavioral mutants F Belli, CJ Budnik, WE Wong Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 9-9, 2006 | 56 | 2006 |
| Dynamic reprioritization of test cases during test execution C Budnik, R Subramanyan US Patent 8,527,813, 2013 | 55 | 2013 |
| Test minimization for human-computer interaction F Belli, CJ Budnik Applied Intelligence 26, 161-174, 2007 | 53 | 2007 |
| Minimal spanning set for coverage testing of interactive systems F Belli, CJ Budnik International Colloquium on Theoretical Aspects of Computing, 220-234, 2004 | 47 | 2004 |
| Test generation using event sequence graphs F Belli, N Nissanke, CJ Budnik, A Mathur Softw. Eng 52, 2005 | 26 | 2005 |
| Defining variability in activity diagrams and Petri nets A Heuer, V Stricker, CJ Budnik, S Konrad, K Lauenroth, K Pohl Science of Computer Programming 78 (12), 2414-2432, 2013 | 23 | 2013 |
| Formal verification of train control with air pressure brakes S Mitsch, M Gario, CJ Budnik, M Golm, A Platzer Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017 | 20 | 2017 |
| Supporting concern-based regression testing and prioritization in a model-driven environment RS Silva Filho, CJ Budnik, WM Hasling, M McKenna, R Subramanyan 2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010 | 19 | 2010 |
| Towards self-testing of component-based software F Belli, CJ Budnik 29th Annual International Computer Software and Applications Conference …, 2005 | 18 | 2005 |
| Formal definition of syntax and semantics for documenting variability in activity diagrams A Heuer, CJ Budnik, S Konrad, K Lauenroth, K Pohl Software Product Lines: Going Beyond: 14th International Conference, SPLC …, 2010 | 15 | 2010 |
| Guided test case generation through AI enabled output space exploration C Budnik, M Gario, G Markov, Z Wang Proceedings of the 13th International Workshop on Automation of Software …, 2018 | 10 | 2018 |
| Advances in model-based testing of graphical user interfaces F Belli, M Beyazıt, CJ Budnik, T Tuglular Advances in Computers 107, 219-280, 2017 | 10 | 2017 |
| Peer-to-peer comparison of model-based test tools CJ Budnik, R Subramanyan, M Vieira Gesellschaft für Informatik e. V., 2008 | 10 | 2008 |
| Holistic testing of interactive systems using statecharts F Belli, CJ Budnik, A Hollmann Gesellschaft für Informatik eV, 2006 | 10 | 2006 |
| A holistic approach to testing of interactive systems using statecharts F Belli, CJ Budnik, A Hollmann Proceedings of 2nd South-East European Workshop on Formal Methods (SEEFM 05 …, 2005 | 10 | 2005 |
| Bridging the gap between the theory and practice of software test automation CJ Budnik, WK Chan, GM Kapfhammer Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 9 | 2010 |
| How to explain it to energy engineers? A qualitative user study about trustworthiness, understandability, and actionability H Degen, C Budnik, G Conte, A Lintereur, S Weber International Conference on Human-Computer Interaction, 262-284, 2022 | 8 | 2022 |
| Automated testing of mechatronic systems CJ Budnik, RS Silva Filho, SP Masticola US Patent 8,930,758, 2015 | 8 | 2015 |
W. Eric WongProfessor, Department of Computer Science, University of Texas at DallasBestätigte E-Mail-Adresse bei utdallas.edu
