| 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 | 147 | 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 | 68 | 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 | 49 | 2006 |
| 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 | 49 | 2006 |
| Dynamic reprioritization of test cases during test execution C Budnik, R Subramanyan US Patent 8,527,813, 2013 | 45 | 2013 |
| Minimal spanning set for coverage testing of interactive systems F Belli, CJ Budnik International Colloquium on Theoretical Aspects of Computing, 220-234, 2004 | 45 | 2004 |
| Test minimization for human-computer interaction F Belli, CJ Budnik Applied Intelligence 26 (2), 161-174, 2007 | 42 | 2007 |
| 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 | 21 | 2013 |
| Test generation using event sequence graphs F Belli, N Nissanke, CJ Budnik, A Mathur University of Paderborn, Institute for Electrical Engineering and …, 2005 | 20 | 2005 |
| Towards self-testing of component-based software F Belli, CJ Budnik 29th Annual International Computer Software and Applications Conference …, 2005 | 17 | 2005 |
| Formal definition of syntax and semantics for documenting variability in activity diagrams A Heuer, CJ Budnik, S Konrad, K Lauenroth, K Pohl International Conference on Software Product Lines, 62-76, 2010 | 15 | 2010 |
| Formal verification of train control with air pressure brakes S Mitsch, M Gario, CJ Budnik, M Golm, A Platzer International Conference on Reliability, Safety and Security of Railway …, 2017 | 14 | 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 | 14 | 2010 |
| Holistic testing of interactive systems using statecharts F Belli, CJ Budnik, A Hollmann Sicherheit 2006, Sicherheit–Schutz und Zuverlässigkeit, 2006 | 12 | 2006 |
| Peer-to-peer comparison of model-based test tools CJ Budnik, R Subramanyan, M Vieira INFORMATIK 2008. Beherrschbare Systeme–dank Informatik. Band 1, 2008 | 10 | 2008 |
| 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 | 9 | 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 | 8 | 2010 |
| Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle–Vergleich anhand einer Fallstudie F Belli, CJ Budnik, M Linschulte, I Schieferdecker INFORMATIK 2006–Informatik für Menschen–Band 2, Beiträge der 36 …, 2006 | 8 | 2006 |
| 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 | 7 | 2017 |
| 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 | 6 | 2018 |
W. Eric WongProfessor, Department of Computer Science, University of Texas at DallasVerified email at utdallas.edu
