Christoph Gladisch
Christoph Gladisch
Research Engineer, Bosch GmbH
Bestätigte E-Mail-Adresse bei ira.uka.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
682014
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
282007
Verification-based test case generation for full feasible branch coverage
C Gladisch
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
142008
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
142008
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
102013
Verification-based software-fault detection
CD Gladisch
KIT Scientific Publishing, 2011
92011
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
82017
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
82010
Could we have chosen a better loop invariant or method contract?
C Gladisch
International Conference on Tests and Proofs, 74-89, 2009
82009
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
72014
Test data generation for programs with quantified first-order logic specifications
CD Gladisch
IFIP International Conference on Testing Software and Systems, 158-173, 2010
72010
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
62013
Satisfiability solving and model generation for quantified first-order logic formulas
CD Gladisch
International Conference on Formal Verification of Object-Oriented Software …, 2010
52010
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
42019
Proof-based test case generation
W Ahrendt, C Gladisch, M Herda
Deductive Software Verification–The KeY Book, 415-451, 2016
42016
Generating JML specifications from Alloy expressions
D Grunwald, C Gladisch, T Liu, M Taghdiri, S Tyszberowicz
Haifa Verification Conference, 99-115, 2014
42014
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
42012
Specifying linked data structures in JML for combining formal verification and testing
C Gladisch, S Tyszberowicz
Science of Computer Programming 107, 19-40, 2015
32015
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing
B Beckert, C Gladisch, S Tyszberowicz, A Yehudai
International Journal of System Assurance Engineering and Management 2 (2 …, 2011
32011
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
22019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20