Christof J. Budnik

According to our database, Christof J. Budnik authored at least 46 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Sampling-Based and Gradient-Based Efficient Scenario Generation.

Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof J. Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 24th International Conference, 2024

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities.

Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

How to Explain It to System Testers? - A Qualitative User Study About Understandability, Validatability, Predictability, and Trustworthiness.

Helmut Degen, Christof J. Budnik

Proceedings of the Artificial Intelligence in HCI, 2024

2023

How to Explain It to a Model Manager? - A Qualitative User Study About Understandability, Trustworthiness, Actionability, and Action Efficacy.

Helmut Degen, Christof J. Budnik, Ralf Gross, Marcel Rothering

Proceedings of the Artificial Intelligence in HCI, 2023

2022

How to Explain It to Energy Engineers? - A Qualitative User Study About Trustworthiness, Understandability, and Actionability.

Helmut Degen, Christof J. Budnik, Gregory Conte, Andrew Lintereur, Seth Weber

Proceedings of the HCI International 2022 - Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence, 2022

CorrGAN: Input Transformation Technique Against Natural Corruptions.

Mirazul Haque, Christof J. Budnik, Wei Yang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022

2021

Guest Editorial: Special Section on IEEE International Conference on Software Quality, Reliability, and Security (QRS) 2020.

Wing Kwong Chan, Meiyappan Nagappan, Christof J. Budnik

IEEE Trans. Reliab., 2021

How to Explain It to Facility Managers? A Qualitative, Industrial User Research Study for Explainability.

Helmut Degen, Christof J. Budnik, Kunal Chitre, Andrew Lintereur

Proceedings of the HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence, 2021

2018

Special issue on automation of software testing: improving practical applicability.

Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu

Softw. Qual. J., 2018

Guided test case generation through AI enabled output space exploration.

Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

2017

Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces.

Fevzi Belli, Mutlu Beyazit, Christof J. Budnik, Tugkan Tuglular

Adv. Comput., 2017

Formal Verification of Train Control with Air Pressure Brakes.

Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Testbed for Model-based Verification of Cyber-physical Production Systems.

Christof J. Budnik, Sebastian Eckl, Marco Gario

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Model-based mutation testing - Approach and case studies.

Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong

Sci. Comput. Program., 2016

2013

Defining variability in activity diagrams and Petri nets.

André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl

Sci. Comput. Program., 2013

Experiences using Tedeso: an extensible and interoperable model-based testing platform.

Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna

Autom. Softw. Eng., 2013

2012

An Integrated Model-Driven Approach for Mechatronic Systems Testing.

Roberto Silveira Silva Filho, Christof J. Budnik

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Software Testing, Software Quality and Trust in Software-Based Systems.

Christof J. Budnik

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Guest editors' introduction to the special section on exploring the boundaries of software test automation.

Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu

Softw. Qual. J., 2011

Design Principles for Integration of Model-Driven Quality Assurance Tools.

Othon Crelier, Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik

Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

2010

Software testing research in practice: report on the 5th international workshop on the automation of software test.

Wing Kwong Chan, Christof J. Budnik, Gregory M. Kapfhammer

ACM SIGSOFT Softw. Eng. Notes, 2010

Scalable V&V Effort Estimation for Ultra-Large-Scale Systems.

Christof J. Budnik, Rajesh Subramanyan, Raj Tanikella

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams.

André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Fault Detection Likelihood of Test Sequence Length.

Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber

Proceedings of the Third International Conference on Software Testing, 2010

Bridging the Gap Between the Theory and Practice of Software Test Automation.

Christof J. Budnik, Wing Kwong Chan, Gregory M. Kapfhammer

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

MOTES2010 - Modellbasiertes Testen (Vorwort).

Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Supporting Concern-Based Regression Testing and Prioritization in a Model-Driven Environment.

Roberto Silveira Silva Filho, Christof J. Budnik, William M. Hasling, Monica McKenna, Rajesh Subramanyan

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Structural Feature Extraction for GUI Test Enhancement.

Christof J. Budnik, Fevzi Belli, Axel Hollmann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

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.

Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Test Selection Prioritization Strategy.

Rajesh Subramanyan, Christof J. Budnik

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

2. Workshop Testmethoden für Software - Von der Forschung in die Praxis.

Fevzi Belli, Christof J. Budnik, Andreas Spillner

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Peer-to-Peer Comparison of Model-Based Test Tools.

Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

MOTES08 - Modellbasiertes Testen.

Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007

Test minimization for human-computer interaction.

Fevzi Belli, Christof J. Budnik

Appl. Intell., 2007

Industrial Requirements to Benefit from Test Automation Tools for GUI Testing.

Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

2006

Test generation using event sequence graphs.

Christof J. Budnik

PhD thesis, 2006

Event-based modelling, analysis and testing of user interactions: approach and case study.

Fevzi Belli, Christof J. Budnik, Lee White

Softw. Test. Verification Reliab., 2006

Holistic Testing of Interactive Systems Using Statecharts.

Fevzi Belli, Christof J. Budnik, Axel Hollmann

Proceedings of the Sicherheit 2006: Sicherheit, 2006

Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie.

Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005

Test Cost Reduction for Interactive Systems.

Fevzi Belli, Christof J. Budnik

Proceedings of the Sicherheit 2005: Sicherheit, 2005

Towards Minimization of Test Sets for Coverage Testing of Interactive Systems.

Fevzi Belli, Christof J. Budnik

Proceedings of the Software Engineering 2005, 2005

Towards Minimization of Test Sets for Human-Computer Systems.

Fevzi Belli, Christof J. Budnik

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Towards Self-Testing of Component-Based Software.

Fevzi Belli, Christof J. Budnik

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Minimal Spanning Set for Coverage Testing of Interactive Systems.

Fevzi Belli, Christof J. Budnik

Proceedings of the Theoretical Aspects of Computing, 2004

Towards Optimization of the Coverage Testing of Interactive Systems.

Fevzi Belli, Christof J. Budnik

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Finite-State Modeling, Analysis and Testing of System Vulnerabilities.

Fevzi Belli, Christof J. Budnik, Nimal Nissanke

Proceedings of the ARCS 2004, 2004