Follow
Christof J. Budnik
Christof J. Budnik
Siemens Corporate Technology
Verified email at siemens.com
Title
Cited by
Cited by
Year
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
1472006
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
682016
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
492006
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
492006
Dynamic reprioritization of test cases during test execution
C Budnik, R Subramanyan
US Patent 8,527,813, 2013
452013
Minimal spanning set for coverage testing of interactive systems
F Belli, CJ Budnik
International Colloquium on Theoretical Aspects of Computing, 220-234, 2004
452004
Test minimization for human-computer interaction
F Belli, CJ Budnik
Applied Intelligence 26 (2), 161-174, 2007
422007
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
212013
Test generation using event sequence graphs
F Belli, N Nissanke, CJ Budnik, A Mathur
University of Paderborn, Institute for Electrical Engineering and …, 2005
202005
Towards self-testing of component-based software
F Belli, CJ Budnik
29th Annual International Computer Software and Applications Conference …, 2005
172005
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
152010
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
142017
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
142010
Holistic testing of interactive systems using statecharts
F Belli, CJ Budnik, A Hollmann
Sicherheit 2006, Sicherheit–Schutz und Zuverlässigkeit, 2006
122006
Peer-to-peer comparison of model-based test tools
CJ Budnik, R Subramanyan, M Vieira
INFORMATIK 2008. Beherrschbare Systeme–dank Informatik. Band 1, 2008
102008
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
92005
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
82010
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
82006
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
72017
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
62018
The system can't perform the operation now. Try again later.
Articles 1–20