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: Schallhart:Christian
Contributed to:
2014
2014
2012
20112011
2010
2009
20082007Wrote 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.