Christof J. Budnik

52 papers A 2B 3C 7Journal 11Unranked 25

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	How to Explain It to System Testers? - A Qualitative User Study About Understandability, Validatability, Predictability, and Trustworthiness. HCI (51) Helmut Degen, Christof J. Budnik
2024	C	`ed.`	Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), Lisbon, Portugal, April 15-16, 2024 AST Francesca Lonetti, Antonio Guerriero, Mehrdad Saadatmand, Christof J. Budnik, Jenny Li
2024	C	`conf`	Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. MEMOCODE 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
2024	B	`conf`	Sampling-Based and Gradient-Based Efficient Scenario Generation. RV Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof J. Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh
2023	—	`conf`	How to Explain It to a Model Manager? - A Qualitative User Study About Understandability, Trustworthiness, Actionability, and Action Efficacy. HCI (40) Helmut Degen, Christof J. Budnik, Ralf Gross, Marcel Rothering
2022	—	`conf`	CorrGAN: Input Transformation Technique Against Natural Corruptions. CVPR Workshops Mirazul Haque, Christof J. Budnik, Wei Yang
2022	J	`jnl`	CorrGAN: Input Transformation Technique Against Natural Corruptions. CoRR Mirazul Haque, Christof J. Budnik, Wei Yang
2022	—	`conf`	How to Explain It to Energy Engineers? - A Qualitative User Study About Trustworthiness, Understandability, and Actionability. HCI (43) Helmut Degen, Christof J. Budnik, Gregory Conte, Andrew Lintereur, Seth Weber
2021	J	`jnl`	Guest Editorial: Special Section on IEEE International Conference on Software Quality, Reliability, and Security (QRS) 2020. IEEE Trans. Reliab. Wing Kwong Chan, Meiyappan Nagappan, Christof J. Budnik
2021	—	`conf`	How to Explain It to Facility Managers? A Qualitative, Industrial User Research Study for Explainability. HCI (41) Helmut Degen, Christof J. Budnik, Kunal Chitre, Andrew Lintereur
2018	—	`conf`	Guided test case generation through AI enabled output space exploration. AST@ICSE Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang
2018	J	`jnl`	Special issue on automation of software testing: improving practical applicability. Softw. Qual. J. Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu
2017	J	`jnl`	Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces. Adv. Comput. Fevzi Belli, Mutlu Beyazit, Christof J. Budnik, Tugkan Tuglular
2017	—	`conf`	Formal Verification of Train Control with Air Pressure Brakes. RSSRail Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
2017	—	`conf`	Testbed for Model-based Verification of Cyber-physical Production Systems. ARCH@CPSWeek Christof J. Budnik, Sebastian Eckl, Marco Gario
2016	J	`jnl`	Model-based mutation testing - Approach and case studies. Sci. Comput. Program. Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong
2016	—	`ed.`	Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016 AST@ICSE Christof J. Budnik, Gordon Fraser, Francesca Lonetti
2014	—	`ed.`	Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA 2014, San Jose, CA, USA, July 21, 2014 JAMAICA@ISSTA Christof J. Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder
2013	J	`jnl`	Defining variability in activity diagrams and Petri nets. Sci. Comput. Program. André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
2013	J	`jnl`	Experiences using Tedeso: an extensible and interoperable model-based testing platform. Autom. Softw. Eng. Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna
2012	A	`conf`	An Integrated Model-Driven Approach for Mechatronic Systems Testing. ICST Roberto Silveira Silva Filho, Christof J. Budnik
2012	B	`conf`	Software Testing, Software Quality and Trust in Software-Based Systems. COMPSAC Christof J. Budnik
2011	—	`conf`	Design Principles for Integration of Model-Driven Quality Assurance Tools. SBCARS Othon Crelier, Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik
2011	J	`jnl`	Guest editors' introduction to the special section on exploring the boundaries of software test automation. Softw. Qual. J. Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu
2010	—	`conf`	Bridging the Gap Between the Theory and Practice of Software Test Automation. ICSE (2) Christof J. Budnik, Wing Kwong Chan, Gregory M. Kapfhammer
2010	A	`conf`	Fault Detection Likelihood of Test Sequence Length. ICST Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber
2010	B	`conf`	Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. SPLC André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl
2010	—	`conf`	MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
2010	—	`conf`	Scalable V&V Effort Estimation for Ultra-Large-Scale Systems. SSIRI Christof J. Budnik, Rajesh Subramanyan, Raj Tanikella
2010	J	`jnl`	Software testing research in practice: report on the 5th international workshop on the automation of software test. ACM SIGSOFT Softw. Eng. Notes Wing Kwong Chan, Christof J. Budnik, Gregory M. Kapfhammer
2010	—	`conf`	Supporting Concern-Based Regression Testing and Prioritization in a Model-Driven Environment. COMPSAC Workshops Roberto Silveira Silva Filho, Christof J. Budnik, William M. Hasling, Monica McKenna, Rajesh Subramanyan
2010	—	`ed.`	The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa AST@ICSE Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer
2009	—	`conf`	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 Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
2009	—	`conf`	Structural Feature Extraction for GUI Test Enhancement. ICST Workshops Christof J. Budnik, Fevzi Belli, Axel Hollmann
2009	—	`conf`	Test Selection Prioritization Strategy. COMPSAC (2) Rajesh Subramanyan, Christof J. Budnik
2008	C	`conf`	2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering Fevzi Belli, Christof J. Budnik, Andreas Spillner
2008	C	`conf`	2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (Workshops) Fevzi Belli, Christof J. Budnik, Andreas Spillner
2008	—	`conf`	MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter
2008	—	`conf`	Peer-to-Peer Comparison of Model-Based Test Tools. GI Jahrestagung (1) Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira
2007	—	`conf`	Industrial Requirements to Benefit from Test Automation Tools for GUI Testing. GI Jahrestagung (2) Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira
2007	J	`jnl`	Test minimization for human-computer interaction. Appl. Intell. Fevzi Belli, Christof J. Budnik
2006	J	`jnl`	Event-based modelling, analysis and testing of user interactions: approach and case study. Softw. Test. Verification Reliab. Fevzi Belli, Christof J. Budnik, Lee White
2006	—	`conf`	Holistic Testing of Interactive Systems Using Statecharts. Sicherheit Fevzi Belli, Christof J. Budnik, Axel Hollmann
2006	—	`—`	Test generation using event sequence graphs. Christof J. Budnik
2006	—	`conf`	Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. GI Jahrestagung (2) Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker
2005	—	`conf`	Test Cost Reduction for Interactive Systems. Sicherheit Fevzi Belli, Christof J. Budnik
2005	C	`conf`	Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering Fevzi Belli, Christof J. Budnik
2005	C	`conf`	Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE Fevzi Belli, Christof J. Budnik
2005	—	`conf`	Towards Self-Testing of Component-Based Software. COMPSAC (2) Fevzi Belli, Christof J. Budnik
2004	—	`conf`	Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops Fevzi Belli, Christof J. Budnik, Nimal Nissanke
2004	C	`conf`	Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC Fevzi Belli, Christof J. Budnik
2004	—	`conf`	Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops Fevzi Belli, Christof J. Budnik