BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gladisch:Christoph

Facilitated 3 volumes:

ASE 2013PubCh
ASE 2012DemoTrackPrCo
ASE 2012ToCo

Contributed to:

ICTSS 20102010
TAP 20102010
TAP 20092009
SEFM 20082008
TAP 20082008
TAP 20072007
ASE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.