追蹤
Christof J. Budnik
Christof J. Budnik
Siemens Corporate Technology
在 siemens.com 的電子郵件地址已通過驗證
標題
引用次數
引用次數
年份
Event‐based modelling, analysis and testing of user interactions: approach and case study
F Belli, CJ Budnik, L White
Software Testing, Verification and Reliability 16 (1), 3-32, 2006
1562006
Model-based mutation testing—approach and case studies
F Belli, CJ Budnik, A Hollmann, T Tuglular, WE Wong
Science of Computer Programming 120, 25-48, 2016
782016
Dynamic reprioritization of test cases during test execution
C Budnik, R Subramanyan
US Patent 8,527,813, 2013
542013
Basic operations for generating behavioral mutants
F Belli, CJ Budnik, WE Wong
Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 9-9, 2006
532006
Basic operations for generating behavioral mutants
F Belli, CJ Budnik, WE Wong
Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 9-9, 2006
532006
Test minimization for human-computer interaction
F Belli, CJ Budnik
Applied Intelligence 26, 161-174, 2007
512007
Minimal spanning set for coverage testing of interactive systems
F Belli, CJ Budnik
International Colloquium on Theoretical Aspects of Computing, 220-234, 2004
462004
Test generation using event sequence graphs
F Belli, N Nissanke, CJ Budnik, A Mathur
Softw. Eng 52, 2005
252005
Defining variability in activity diagrams and Petri nets
A Heuer, V Stricker, CJ Budnik, S Konrad, K Lauenroth, K Pohl
Science of Computer Programming 78 (12), 2414-2432, 2013
222013
Supporting concern-based regression testing and prioritization in a model-driven environment
RS Silva Filho, CJ Budnik, WM Hasling, M McKenna, R Subramanyan
2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010
192010
Formal verification of train control with air pressure brakes
S Mitsch, M Gario, CJ Budnik, M Golm, A Platzer
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017
182017
Towards self-testing of component-based software
F Belli, CJ Budnik
29th Annual International Computer Software and Applications Conference …, 2005
182005
Formal definition of syntax and semantics for documenting variability in activity diagrams
A Heuer, CJ Budnik, S Konrad, K Lauenroth, K Pohl
Software Product Lines: Going Beyond: 14th International Conference, SPLC …, 2010
152010
Advances in model-based testing of graphical user interfaces
F Belli, M Beyazıt, CJ Budnik, T Tuglular
Advances in Computers 107, 219-280, 2017
112017
Holistic testing of interactive systems using statecharts
F Belli, CJ Budnik, A Hollmann
Gesellschaft für Informatik eV, 2006
112006
Peer-to-peer comparison of model-based test tools
CJ Budnik, R Subramanyan, M Vieira
Gesellschaft für Informatik e. V., 2008
102008
A holistic approach to testing of interactive systems using statecharts
F Belli, CJ Budnik, A Hollmann
Proceedings of 2nd South-East European Workshop on Formal Methods (SEEFM 05 …, 2005
102005
Guided test case generation through AI enabled output space exploration
C Budnik, M Gario, G Markov, Z Wang
Proceedings of the 13th International Workshop on Automation of Software …, 2018
92018
Bridging the gap between the theory and practice of software test automation
CJ Budnik, WK Chan, GM Kapfhammer
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
92010
Automated testing of mechatronic systems
CJ Budnik, RS Silva Filho, SP Masticola
US Patent 8,930,758, 2015
82015
系統目前無法執行作業,請稍後再試。
文章 1–20