default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristof J. Budnik
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Helmut Degen
, Christof J. Budnik:
How to Explain It to System Testers? - A Qualitative User Study About Understandability, Validatability, Predictability, and Trustworthiness. HCI (51) 2024: 153-178- [e4]Francesca Lonetti, Antonio Guerriero, Mehrdad Saadatmand, Christof J. Budnik, Jenny Li:
Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), Lisbon, Portugal, April 15-16, 2024. ACM 2024 [contents] - 2023
- [c33]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: 209-242 - 2022
- [c32]Mirazul Haque, Christof J. Budnik, Wei Yang:
CorrGAN: Input Transformation Technique Against Natural Corruptions. CVPR Workshops 2022: 193-196 - [c31]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: 262-284 - [i1]Mirazul Haque, Christof J. Budnik, Wei Yang:
CorrGAN: Input Transformation Technique Against Natural Corruptions. CoRR abs/2204.08623 (2022) - 2021
- [j10]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): 442 (2021) - [c30]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: 401-422
2010 – 2019
- 2018
- [j9]Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu:
Special issue on automation of software testing: improving practical applicability. Softw. Qual. J. 26(4): 1415-1419 (2018) - [c29]Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang:
Guided test case generation through AI enabled output space exploration. AST@ICSE 2018: 53-56 - 2017
- [j8]Fevzi Belli, Mutlu Beyazit, Christof J. Budnik, Tugkan Tuglular:
Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces. Adv. Comput. 107: 219-280 (2017) - [c28]Christof J. Budnik, Sebastian Eckl, Marco Gario:
Testbed for Model-based Verification of Cyber-physical Production Systems. ARCH@CPSWeek 2017: 92-99 - [c27]Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer:
Formal Verification of Train Control with Air Pressure Brakes. RSSRail 2017: 173-191 - 2016
- [j7]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong:
Model-based mutation testing - Approach and case studies. Sci. Comput. Program. 120: 25-48 (2016) - [e3]Christof J. Budnik, Gordon Fraser, Francesca Lonetti:
Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016. ACM 2016, ISBN 978-1-4503-4151-6 [contents] - 2014
- [e2]Christof J. Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder:
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. ACM 2014, ISBN 978-1-4503-2933-0 [contents] - 2013
- [j6]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): 299-337 (2013) - [j5]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): 2414-2432 (2013) - 2012
- [c26]Christof J. Budnik:
Software Testing, Software Quality and Trust in Software-Based Systems. COMPSAC 2012: 253 - [c25]Roberto Silveira Silva Filho, Christof J. Budnik:
An Integrated Model-Driven Approach for Mechatronic Systems Testing. ICST 2012: 447-456 - 2011
- [j4]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): 689-690 (2011) - [c24]Othon Crelier, Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik:
Design Principles for Integration of Model-Driven Quality Assurance Tools. SBCARS 2011: 100-109 - 2010
- [j3]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): 25-26 (2010) - [c23]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: 323-328 - [c22]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter:
MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) 2010: 319-320 - [c21]Christof J. Budnik, Wing Kwong Chan, Gregory M. Kapfhammer:
Bridging the Gap Between the Theory and Practice of Software Test Automation. ICSE (2) 2010: 445-446 - [c20]Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber:
Fault Detection Likelihood of Test Sequence Length. ICST 2010: 402-411 - [c19]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: 62-76 - [c18]Christof J. Budnik, Rajesh Subramanyan, Raj Tanikella:
Scalable V&V Effort Estimation for Ultra-Large-Scale Systems. SSIRI 2010: 60-68 - [e1]Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer:
The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa. ACM 2010, ISBN 978-1-60558-970-1 [contents]
2000 – 2009
- 2009
- [c17]Rajesh Subramanyan, Christof J. Budnik:
Test Selection Prioritization Strategy. COMPSAC (2) 2009: 545-549 - [c16]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: 354-355 - [c15]Christof J. Budnik, Fevzi Belli, Axel Hollmann:
Structural Feature Extraction for GUI Test Enhancement. ICST Workshops 2009: 255-262 - 2008
- [c14]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter:
MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) 2008: 173-174 - [c13]Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira:
Peer-to-Peer Comparison of Model-Based Test Tools. GI Jahrestagung (1) 2008: 223-226 - [c12]Fevzi Belli, Christof J. Budnik, Andreas Spillner:
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2008: 298-299 - [c11]Fevzi Belli, Christof J. Budnik, Andreas Spillner:
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (Workshops) 2008: 353-354 - 2007
- [j2]Fevzi Belli, Christof J. Budnik:
Test minimization for human-computer interaction. Appl. Intell. 26(2): 161-174 (2007) - [c10]Christof J. Budnik, Rajesh Subramanyan, Marlon Vieira:
Industrial Requirements to Benefit from Test Automation Tools for GUI Testing. GI Jahrestagung (2) 2007: 422-430 - 2006
- [b1]Christof J. Budnik:
Test generation using event sequence graphs. University of Paderborn, Germany, 2006, pp. 1-150 - [j1]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): 3-32 (2006) - [c9]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: 266-273 - [c8]Fevzi Belli, Christof J. Budnik, Axel Hollmann:
Holistic Testing of Interactive Systems Using Statecharts. Sicherheit 2006: 345-356 - 2005
- [c7]Fevzi Belli, Christof J. Budnik:
Towards Self-Testing of Component-Based Software. COMPSAC (2) 2005: 205-210 - [c6]Fevzi Belli, Christof J. Budnik:
Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE 2005: 300-309 - [c5]Fevzi Belli, Christof J. Budnik:
Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering 2005: 79-90 - [c4]Fevzi Belli, Christof J. Budnik:
Test Cost Reduction for Interactive Systems. Sicherheit 2005: 149-160 - 2004
- [c3]Fevzi Belli, Christof J. Budnik, Nimal Nissanke:
Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops 2004: 19-33 - [c2]Fevzi Belli, Christof J. Budnik:
Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops 2004: 18-19 - [c1]Fevzi Belli, Christof J. Budnik:
Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC 2004: 220-234
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
