Christof J. Budnik

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 12

Top Venues

Sci. Comput. Program.

IEEE Trans. Reliab.

Autom. Softw. Eng.

AST@ICSE

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Helmut Degen, Christof J. Budnik, Ralf Gross, Marcel Rothering
How to Explain It to a Model Manager? - A Qualitative User Study About Understandability, Trustworthiness, Actionability, and Action Efficacy. HCI (40) (2023)
Mirazul Haque, Christof J. Budnik, Wei Yang
CorrGAN: Input Transformation Technique Against Natural Corruptions. CVPR Workshops (2022)
Mirazul Haque, Christof J. Budnik, Wei Yang
CorrGAN: Input Transformation Technique Against Natural Corruptions. CoRR (2022)
Helmut Degen, Christof J. Budnik, Gregory Conte, Andrew Lintereur, Seth Weber
How to Explain It to Energy Engineers? - A Qualitative User Study About Trustworthiness, Understandability, and Actionability. HCI (43) (2022)
Wing Kwong Chan, Meiyappan Nagappan, Christof J. Budnik
Guest Editorial: Special Section on IEEE International Conference on Software Quality, Reliability, and Security (QRS) 2020. IEEE Trans. Reliab. 70 (2) (2021)
Helmut Degen, Christof J. Budnik, Kunal Chitre, Andrew Lintereur
How to Explain It to Facility Managers? A Qualitative, Industrial User Research Study for Explainability. HCI (41) (2021)
Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang
Guided test case generation through AI enabled output space exploration. AST@ICSE (2018)
Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu
Special issue on automation of software testing: improving practical applicability. Softw. Qual. J. 26 (4) (2018)
Fevzi Belli, Mutlu Beyazit, Christof J. Budnik, Tugkan Tuglular
Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces. Adv. Comput. 107 (2017)
Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
Formal Verification of Train Control with Air Pressure Brakes. RSSRail (2017)
Christof J. Budnik, Sebastian Eckl, Marco Gario
Testbed for Model-based Verification of Cyber-physical Production Systems. ARCH@CPSWeek (2017)
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong
Model-based mutation testing - Approach and case studies. Sci. Comput. Program. 120 (2016)
Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna
Experiences using Tedeso: an extensible and interoperable model-based testing platform. Autom. Softw. Eng. 20 (3) (2013)
André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
Defining variability in activity diagrams and Petri nets. Sci. Comput. Program. 78 (12) (2013)
Roberto Silveira Silva Filho, Christof J. Budnik
An Integrated Model-Driven Approach for Mechatronic Systems Testing. ICST (2012)
Christof J. Budnik
Software Testing, Software Quality and Trust in Software-Based Systems. COMPSAC (2012)
Othon Crelier, Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik
Design Principles for Integration of Model-Driven Quality Assurance Tools. SBCARS (2011)
Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu
Guest editors' introduction to the special section on exploring the boundaries of software test automation. Softw. Qual. J. 19 (4) (2011)
Wing Kwong Chan, Christof J. Budnik, Gregory M. Kapfhammer
Software testing research in practice: report on the 5th international workshop on the automation of software test. ACM SIGSOFT Softw. Eng. Notes 35 (5) (2010)
André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. SPLC (2010)
Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber
Fault Detection Likelihood of Test Sequence Length. ICST (2010)
Roberto Silveira Silva Filho, Christof J. Budnik, William M. Hasling, Monica McKenna, Rajesh Subramanyan
Supporting Concern-Based Regression Testing and Prioritization in a Model-Driven Environment. COMPSAC Workshops (2010)
Christof J. Budnik, Wing Kwong Chan, Gregory M. Kapfhammer
Bridging the Gap Between the Theory and Practice of Software Test Automation. ICSE (2) (2010)
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) (2010)
Christof J. Budnik, Rajesh Subramanyan, Raj Tanikella
Scalable V&V Effort Estimation for Ultra-Large-Scale Systems. SSIRI (2010)
Rajesh Subramanyan, Christof J. Budnik
Test Selection Prioritization Strategy. COMPSAC (2) (2009)
Christof J. Budnik, Fevzi Belli, Axel Hollmann
Structural Feature Extraction for GUI Test Enhancement. ICST Workshops (2009)
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
MOTES09 - Modellbasiertes Testen - 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck - Einführung und Übersicht über die angenommenen Beiträge. GI Jahrestagung (2009)
Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira
Peer-to-Peer Comparison of Model-Based Test Tools. GI Jahrestagung (1) (2008)
Fevzi Belli, Christof J. Budnik, Andreas Spillner
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (2008)
Fevzi Belli, Christof J. Budnik, Andreas Spillner
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (Workshops) (2008)
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter
MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) (2008)
Fevzi Belli, Christof J. Budnik
Test minimization for human-computer interaction. Appl. Intell. 26 (2) (2007)
Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira
Industrial Requirements to Benefit from Test Automation Tools for GUI Testing. GI Jahrestagung (2) (2007)
Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker
Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. GI Jahrestagung (2) (2006)
Fevzi Belli, Christof J. Budnik, Axel Hollmann
Holistic Testing of Interactive Systems Using Statecharts. Sicherheit (2006)
Fevzi Belli, Christof J. Budnik, Lee White
Event-based modelling, analysis and testing of user interactions: approach and case study. Softw. Test. Verification Reliab. 16 (1) (2006)
Fevzi Belli, Christof J. Budnik
Towards Self-Testing of Component-Based Software. COMPSAC (2) (2005)
Fevzi Belli, Christof J. Budnik
Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering (2005)
Fevzi Belli, Christof J. Budnik
Test Cost Reduction for Interactive Systems. Sicherheit (2005)
Fevzi Belli, Christof J. Budnik
Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE (2005)
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops (2004)
Fevzi Belli, Christof J. Budnik
Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC (2004)
Fevzi Belli, Christof J. Budnik
Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops (2004)

Christof J. Budnik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christof J. Budnik