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 × Austria
1 × Belgium
1 × Estonia
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:
H.Veith M.Tautschnig C.Schallhart A.Farzan D.Pötzl D.Beyer N.Razavi M.Franz S.Katzenbeisser D.Kröning J.Bürdek M.Lochau S.Bauregger A.v.Rhein S.Apel V.Januzaj S.Kugele B.Langer
Talks about:
test (7) generat (3) reachabl (2) shell (2) multi (2) suit (2) reus (2) goal (2) constraint (1) contribut (1)

Person: Andreas Holzer

DBLP DBLP: Holzer:Andreas

Contributed to:

FASE 20152015
ICST 20152015
CC 20142014
ESEC/FSE 20132013
ESOP 20132013
TAP 20132013
TACAS 20122012
FASE 20112011
ASE 20102010
VMCAI 20092009
CAV 20082008

Wrote 11 papers:

FASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
ICST-2015-FarzanHV #concurrent #execution #testing
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
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.
ESEC-FSE-2013-FarzanHRV #testing
Con2colic testing (AF, AH, NR, HV), pp. 37–47.
ESOP-2013-BeyerHTV #analysis #multi #reachability #reuse
Information Reuse for Multi-goal Reachability Analyses (DB, AH, MT, HV), pp. 472–491.
TAP-2013-PotzlH #constraints
Solving Constraints for Generational Search (DP, AH), pp. 197–213.
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.
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.

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.