| 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 | 92 | 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 | 68 | 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 | 42 | 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 | 32 | 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 | 28 | 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 | 22 | 2021 |
| Proof-based test case generation W Ahrendt, C Gladisch, M Herda Deductive Software Verification–The KeY Book: From Theory to Practice, 415-451, 2016 | 17 | 2016 |
| Verification-based test case generation for full feasible branch coverage C Gladisch 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 16 | 2008 |
| 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 | 13 | 2021 |
| 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 | 13 | 2008 |
| 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 | 12 | 2022 |
| 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 | 12 | 2017 |
| 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 | 11 | 2013 |
| 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 | 9 | 2014 |
| Could we have chosen a better loop invariant or method contract? C Gladisch International Conference on Tests and Proofs, 74-89, 2009 | 9 | 2009 |
| Verification-based software-fault detection CD Gladisch KIT Scientific Publishing, 2014 | 8 | 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 | 7 | 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 | 7 | 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 | 7 | 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 | 7 | 2010 |
