BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Estonia
1 × France
2 × Germany
2 × USA
Collaborated with:
H.Veith A.Holzer M.Tautschnig T.Furche G.Gottlob G.Grasso S.Chaki M.Franz S.Katzenbeisser D.Kröning A.J.Sellers X.Guo G.Orsi C.Wang V.Januzaj S.Kugele B.Langer
Talks about:
test (4) shell (2) intellectu (1) contribut (1) thousand (1) systemat (1) seamless (1) reachabl (1) properti (1) competit (1)

Person: Christian Schallhart

DBLP DBLP: Schallhart:Christian

Contributed to:

CC 20142014
VLDB 20142014
TACAS 20122012
FASE 20112011
VLDB 20112011
ASE 20102010
VMCAI 20092009
CAV 20082008
CAV 20072007

Wrote 9 papers:

CC-2014-FranzHKSV #c #compilation #named
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
VLDB-2014-FurcheG0GOSW #database #named
DIADEM: Thousands of Websites to a Single Database (TF, GG, GG, XG, GO, CS, CW), pp. 1845–1856.
TACAS-2012-HolzerKSTV #contest #proving #reachability #using
Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
FASE-2011-HolzerJKLSTV #modelling #testing
Seamless Testing for Models and Code (AH, VJ, SK, BL, CS, MT, HV), pp. 278–293.
VLDB-2011-FurcheGGSS #named #scalability #web
OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications (TF, GG, GG, CS, AJS), pp. 1016–1027.
ASE-2010-HolzerTVS #how #testing
How did you specify your test suite (AH, CS, MT, HV), pp. 407–416.
VMCAI-2009-HolzerSTV #testing
Query-Driven Program Testing (AH, CS, MT, HV), pp. 151–166.
CAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.
CAV-2007-ChakiSV #bound #verification
Verification Across Intellectual Property Boundaries (SC, CS, HV), pp. 82–94.

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.