Finite-State Modeling, Analysis and Testing of System Vulnerabilities. - Fevzi Belli; Christof J. Budnik; Nimal Nissanke (ARCS Workshops, 2004)

Towards Optimization of the Coverage Testing of Interactive Systems. - Fevzi Belli; Christof J. Budnik (COMPSAC Workshops, 2004)

Minimal Spanning Set for Coverage Testing of Interactive Systems. - Fevzi Belli; Christof J. Budnik (ICTAC, 2004)

Towards Self-Testing of Component-Based Software. - Fevzi Belli; Christof J. Budnik (COMPSAC (2), 2005)

Towards Minimization of Test Sets for Human-Computer Systems. - Fevzi Belli; Christof J. Budnik (IEA/AIE, 2005)

Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. - Fevzi Belli; Christof J. Budnik (Software Engineering, 2005)

Test Cost Reduction for Interactive Systems. - Fevzi Belli; Christof J. Budnik (Sicherheit, 2005)

Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. - Fevzi Belli; Christof J. Budnik; Michael Linschulte; Ina Schieferdecker (GI Jahrestagung (2), 2006)

Holistic Testing of Interactive Systems Using Statecharts. - Fevzi Belli; Christof J. Budnik; Axel Hollmann (Sicherheit, 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)

Test generation using event sequence graphs. - Christof J. Budnik (2006)

Industrial Requirements to Benefit from Test Automation Tools for GUI Testing. - Christof J. Budnik; Rajesh Subramanyan; Marlon Vieira (GI Jahrestagung (2), 2007)

Test minimization for human-computer interaction. - Fevzi Belli; Christof J. Budnik (Appl. Intell., 2007)

MOTES08 - Modellbasiertes Testen. - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Mario Winter (GI Jahrestagung (1), 2008)

Peer-to-Peer Comparison of Model-Based Test Tools. - Christof J. Budnik; Rajesh Subramanyan; Marlon Vieira (GI Jahrestagung (1), 2008)

2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. - Fevzi Belli; Christof J. Budnik; Andreas Spillner 002 (Software Engineering (Workshops), 2008)

Test Selection Prioritization Strategy. - Rajesh Subramanyan; Christof J. Budnik (COMPSAC (2), 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 (GI Jahrestagung, 2009)

Structural Feature Extraction for GUI Test Enhancement. - Christof J. Budnik; Fevzi Belli; Axel Hollmann (ICST Workshops, 2009)

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 (COMPSAC Workshops, 2010)

MOTES2010 - Modellbasiertes Testen (Vorwort). - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Francesca Saglietti; Mario Winter (GI Jahrestagung (2), 2010)

Bridging the Gap Between the Theory and Practice of Software Test Automation. - Christof J. Budnik; Wing Kwong Chan; Gregory M. Kapfhammer (ICSE (2), 2010)

Fault Detection Likelihood of Test Sequence Length. - Fevzi Belli; Michael Linschulte; Christof J. Budnik; Harald A. Stieber (ICST, 2010)

Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. - André Heuer; Christof J. Budnik; Sascha Konrad; Kim Lauenroth; Klaus Pohl (SPLC, 2010)

Scalable V&V Effort Estimation for Ultra-Large-Scale Systems. - Christof J. Budnik; Rajesh Subramanyan; Raj Tanikella (SSIRI, 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)

Design Principles for Integration of Model-Driven Quality Assurance Tools. - Othon Crelier; Roberto Silveira Silva Filho; William M. Hasling; Christof J. Budnik (SBCARS, 2011)

Guest editors' introduction to the special section on exploring the boundaries of software test automation. - Christof J. Budnik; W. K. Chan 001; Gregory M. Kapfhammer; Hong Zhu 002 (Softw. Qual. J., 2011)

Software Testing, Software Quality and Trust in Software-Based Systems. - Christof J. Budnik (COMPSAC, 2012)

An Integrated Model-Driven Approach for Mechatronic Systems Testing. - Roberto Silveira Silva Filho; Christof J. Budnik (ICST, 2012)

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)

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)

Model-based mutation testing - Approach and case studies. - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Tugkan Tuglular; W. Eric Wong (Sci. Comput. Program., 2016)

Testbed for Model-based Verification of Cyber-physical Production Systems. - Christof J. Budnik; Sebastian Eckl; Marco Gario (ARCH@CPSWeek, 2017)

Formal Verification of Train Control with Air Pressure Brakes. - Stefan Mitsch; Marco Gario; Christof J. Budnik; Michael Golm; André Platzer (RSSRail, 2017)

Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces. - Fevzi Belli; Mutlu Beyazit; Christof J. Budnik; Tugkan Tuglular (Adv. Comput., 2017)

Guided test case generation through AI enabled output space exploration. - Christof J. Budnik; Marco Gario; Georgi A. Markov; Zhu Wang 009 (AST@ICSE, 2018)

Special issue on automation of software testing: improving practical applicability. - Christof J. Budnik; Gordon Fraser 001; Francesca Lonetti; Hong Zhu 002 (Softw. Qual. J., 2018)

How to Explain It to Facility Managers? A Qualitative, Industrial User Research Study for Explainability. - Helmut Degen; Christof J. Budnik; Kunal Chitre; Andrew Lintereur (HCI (41), 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)

CorrGAN: Input Transformation Technique Against Natural Corruptions. - Mirazul Haque; Christof J. Budnik; Wei Yang 013 (CVPR Workshops, 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 (HCI (43), 2022)

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 (HCI (40), 2023)

How to Explain It to System Testers? - A Qualitative User Study About Understandability, Validatability, Predictability, and Trustworthiness. - Helmut Degen; Christof J. Budnik (HCI (51), 2024)

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. - Anand Balakrishnan 001; Rohit Bernard; Shreeram Narayanan; Vidisha Kudalkar; Yiqi Zhao; Parinitha Nagaraja; Georgi A. Markov; Christof J. Budnik; Helmut Degen; Lars Lindemann; Jyotirmoy V. Deshmukh (MEMOCODE, 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 (RV, 2024)