Get started
Author

Christof J. Budnik

Observed names: Budnik, Christof J., C.J. Budnik, Christof Budnik
ORCID: 0000-0002-5728-4134
Observed ORCID: 0000-0002-5728-4134
OpenAlex ID: A5032198822
Event-based modelling, analysis and testing of user interactions: approach and case study
2005 · Fevzi Belli, Christof J. Budnik, et al. · Software Testing Verification and Reliability · 91
Model-based mutation testing—Approach and case studies
2016 · Fevzi Belli, Christof J. Budnik, et al. · Science of Computer Programming · 64
PDF
Basic Operations for Generating Behavioral Mutants
2006 · Fevzi Belli, Christof J. Budnik, et al. · 47
Test minimization for human-computer interaction
2006 · Fevzi Belli, Christof J. Budnik · Applied Intelligence · 33
Minimal Spanning Set for Coverage Testing of Interactive Systems
2005 · Fevzi Belli, Christof J. Budnik · Lecture notes in computer science · 21
Formal Verification of Train Control with Air Pressure Brakes
2017 · Stefan Mitsch, Marco Gario, et al. · Lecture notes in computer science · 19
Supporting Concern-Based Regression Testing and Prioritization in a Model-Driven Environment
2010 · Roberto S. Silva Filho, Christof J. Budnik, et al. · IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW) · 17
Defining variability in activity diagrams and Petri nets
2012 · André Heuer, Vanessa Stricker, et al. · Science of Computer Programming · 13
Event-based modelling, analysis and testing of user interactions: approach and case study: Research Articles
2006 · Fevzi Belli, Christof J. Budnik, et al. · Software Testing Verification and Reliability · 13
Test generation using event sequence graphs
2007 · Budnik, Christof J. · Amtliche Mitteilungen (Universitätsbibliothek Paderborn) · 10
PDF
Guided test case generation through AI enabled output space exploration
2018 · Christof Budnik, Marco Gario, et al. · International Workshop on Automation of Software Test (AST) · 9
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams
2010 · André Heuer, Christof J. Budnik, et al. · Lecture notes in computer science · 9
Towards Self-Testing of Component-Based Software
2006 · F. Belli, C.J. Budnik · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 9
Verification and Validation of LLM-RAG for Industrial Automation
2025 · Ziran Min, Christof J. Budnik · IEEE International Conference on Artificial Intelligence Testing (AITest) · 8
How to Explain It to Energy Engineers?
2022 · Helmut Degen, Christof Budnik, et al. · Lecture notes in computer science · 7
Advances in Model-Based Testing of Graphical User Interfaces
2017 · Fevzi Belli, Mutlu Beyazıt, et al. · Advances in computers · 7
PDF
Peer-to-Peer Comparison of Model-Based Test Tools
2012 · Christof J. Budnik, Marlon Vieira · 7
Holistic Testing of Interactive Systems Using Statecharts.
2006 · Fevzi Belli, Christof J. Budnik, et al. · Sicherheit · 6
Design Principles for Integration of Model-Driven Quality Assurance Tools
2011 · Othon Crelier, Roberto S. Silva Filho, et al. · Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS) · 5
How to Explain It to Facility Managers? A Qualitative, Industrial User Research Study for Explainability
2021 · Helmut Degen, Christof J. Budnik, et al. · Lecture notes in computer science · 4
Testbed for Model-based Verification of Cyber-physical Production Systems
2018 · Christof J. Budnik, Sebastian Eckl, et al. · EPiC series in computing · 4
PDF
An Integrated Model-Driven Approach for Mechatronic Systems Testing
2012 · Roberto S. Silva Filho, Christof J. Budnik · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 4
Bridging the Gap Between the Theory and Practice of Software Test Automation
2010 · Christof J. Budnik, Wing Kwong Chan, et al. · 4
How to Explain It to a Model Manager?
2023 · Helmut Degen, Christof Budnik, et al. · Lecture notes in computer science · 3
Experiences using Tedeso: an extensible and interoperable model-based testing platform
2013 · Roberto Silveira Silva Filho, William M. Hasling, et al. · Automated Software Engineering · 3
Works count: 52
Citation count: 447
H-index: 10
I10-index: 10
Year
Topic
Type