Christoph Gladisch
Christoph Gladisch
Research Engineer, Bosch GmbH
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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, ...
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
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
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
From evaluation to verification: Towards task-oriented relevance metrics for pedestrian detection in safety-critical domains
M Lyssenko, C Gladisch, C Heinzemann, M Woehrle, R Triebel
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021
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
Testing deep learning-based visual perception for automated driving
S Abrecht, L Gauerhof, C Gladisch, K Groh, C Heinzemann, M Woehrle
ACM Transactions on Cyber-Physical Systems (TCPS) 5 (4), 1-28, 2021
Verification-based test case generation for full feasible branch coverage
C Gladisch
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
Proof-based test case generation
W Ahrendt, C Gladisch, M Herda
Deductive Software Verification–The KeY Book: From Theory to Practice, 415-451, 2016
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
A novel model-based testing approach for software product lines
F Damiani, D Faitelson, C Gladisch, S Tyszberowicz
Software & Systems Modeling 16, 1223-1251, 2017
Towards safety-aware pedestrian detection in autonomous systems
M Lyssenko, C Gladisch, C Heinzemann, M Woehrle, R Triebel
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022
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
Instance segmentation in carla: Methodology and analysis for pedestrian-oriented synthetic data generation in crowded scenes
M Lyssenko, C Gladisch, C Heinzemann, M Woehrle, R Triebel
Proceedings of the IEEE/CVF International Conference on Computer Vision, 988-996, 2021
Could we have chosen a better loop invariant or method contract?
C Gladisch
International Conference on Tests and Proofs, 74-89, 2009
Verification-based software-fault detection
CD Gladisch
KIT Scientific Publishing, 2014
Generating JML specifications from alloy expressions
D Grunwald, C Gladisch, T Liu, M Taghdiri, S Tyszberowicz
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
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
JKelloy: A proof assistant for relational specifications of Java programs
AA El Ghazi, M Ulbrich, C Gladisch, S Tyszberowicz, M Taghdiri
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 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
Generating regression unit tests using a combination of verification and capture & replay
C Gladisch, S Tyszberowicz, B Beckert, A Yehudai
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain …, 2010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20