Travelled to:1 × Brazil
1 × Italy
1 × South Africa
1 × Spain
2 × Switzerland
Collaborated with:∅ B.Beckert S.S.Tyszberowicz A.Yehudai C.Engel V.Klebanov P.Rümmer T.H.0001 C.Heinzemann J.Oehlerking A.v.Vietinghoff T.Pfitzer
Talks about:test (7) generat (3) verif (3) base (3) specif (2) combin (2) box (2) quantifi (1) contract (1) softwar (1)
♂ Person: Christoph Gladisch
DBLP: Gladisch:Christoph
Facilitated 3 volumes:
PubChDemoTrackPrCoToCoContributed to:
2010
20102009
2008200820072019Wrote 7 papers:
- ICTSS-2010-Gladisch #first-order #generative #logic #quantifier #source code #specification #testing
- Test Data Generation for Programs with Quantified First-Order Logic Specifications (CG), pp. 158–173.
- TAP-2010-GladischTBY #generative #testing #using #verification
- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
- TAP-2009-Gladisch #contract #invariant #question
- Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
- SEFM-2008-Gladisch #branch #generative #testing
- Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.
- TAP-2008-EngelGKR #object-oriented #testing #verification
- Integrating Verification and Testing of Object-Oriented Software (CE, CG, VK, PR), pp. 182–191.
- TAP-2007-BeckertG #black box #specification #testing
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.
- ASE-2019-Gladisch0HOVP #automation #experience #search-based #testing
- Experience Paper: Search-Based Testing in Automated Driving Control Applications (CG, TH0, CH, JO, AvV, TP), pp. 26–37.