Christof J. Budnik
Christof J. Budnik
Siemens Corporate Technology
Verified email at
Cited by
Cited by
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
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
Dynamic reprioritization of test cases during test execution
C Budnik, R Subramanyan
US Patent 8,527,813, 2013
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
Test minimization for human-computer interaction
F Belli, CJ Budnik
Applied Intelligence 26, 161-174, 2007
Minimal spanning set for coverage testing of interactive systems
F Belli, CJ Budnik
International Colloquium on Theoretical Aspects of Computing, 220-234, 2004
Test generation using event sequence graphs
F Belli, N Nissanke, CJ Budnik, A Mathur
Softw. Eng 52, 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
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
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
Towards self-testing of component-based software
F Belli, CJ Budnik
29th Annual International Computer Software and Applications Conference …, 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
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
Holistic testing of interactive systems using statecharts
F Belli, CJ Budnik, A Hollmann
Gesellschaft für Informatik eV, 2006
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
Peer-to-peer comparison of model-based test tools
CJ Budnik, R Subramanyan, M Vieira
Gesellschaft für Informatik e. V., 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
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
Automated testing of mechatronic systems
CJ Budnik, RS Silva Filho, SP Masticola
US Patent 8,930,758, 2015
Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle–Vergleich anhand einer Fallstudie
F Belli, CJ Budnik, M Linschulte, I Schieferdecker
Gesellschaft für Informatik eV, 2006
The system can't perform the operation now. Try again later.
Articles 1–20