Christoph Gladisch
Christoph Gladisch
Research Engineer, Bosch GmbH
Verified email at - Homepage
Cited by
Cited by
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
White-box testing by combining deduction-based specification extraction and black-box testing
B Beckert, C Gladisch
International Conference on Tests and Proofs, 207-216, 2007
Experience Paper: Search-based Testing in Automated Driving Control Applications
C Gladisch, T Heinz, C Heinzemann, J Oehlerking, A von Vietinghoff, ...
34th IEEE/ACM International Conference on Automated Software Engineering …, 2019
Verification-based test case generation for full feasible branch coverage
C Gladisch
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
Integrating verification and testing of object-oriented software
C Engel, C Gladisch, V Klebanov, P Rümmer
International Conference on Tests and Proofs, 182-191, 2008
Specifying a linked data structure in JML for formal verification and runtime checking
C Gladisch, S Tyszberowicz
Brazilian Symposium on Formal Methods, 99-114, 2013
Verification-based software-fault detection
CD Gladisch
KIT Scientific Publishing, 2011
Generating regression unit tests using a combination of verification and capture & replay
C Gladisch, S Tyszberowicz, B Beckert, A Yehudai
International Conference on Tests and Proofs, 61-76, 2010
A novel model-based testing approach for software product lines
F Damiani, D Faitelson, C Gladisch, S Tyszberowicz
Software & Systems Modeling 16 (4), 1223-1251, 2017
Could we have chosen a better Loop Invariant or Method Contract?
C Gladisch
International Conference on Tests and Proofs, 74-89, 2009
Proof-based test case generation
W Ahrendt, C Gladisch, M Herda
Deductive Software Verification–The KeY Book, 415-451, 2016
JKelloy: A proof assistant for relational specifications of Java programs
AA El Ghazi, M Ulbrich, C Gladisch, S Tyszberowicz, M Taghdiri
NASA Formal Methods Symposium, 173-187, 2014
Test data generation for programs with quantified first-order logic specifications
CD Gladisch
IFIP International Conference on Testing Software and Systems, 158-173, 2010
Leveraging combinatorial testing for safety-critical computer vision datasets
C Gladisch, C Heinzemann, M Herrmann, M Woehrle
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
Refinement-based testing of delta-oriented product lines
F Damiani, C Gladisch, S Tyszberowicz
Proceedings of the 2013 International Conference on Principles and Practices …, 2013
Satisfiability solving and model generation for quantified first-order logic formulas
CD Gladisch
International Conference on Formal Verification of Object-Oriented Software …, 2010
Specifying linked data structures in JML for combining formal verification and testing
C Gladisch, S Tyszberowicz
Science of Computer Programming 107, 19-40, 2015
Generating jml specifications from alloy expressions
D Grunwald, C Gladisch, T Liu, M Taghdiri, S Tyszberowicz
Haifa Verification Conference, 99-115, 2014
Model generation for quantified formulas with application to test data generation
CD Gladisch
International Journal on Software Tools for Technology Transfer 14 (4), 439-459, 2012
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving
M Woehrle, C Gladisch, C Heinzemann
38th International Conference on Computer Safety, Reliability, and Security …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20