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 × Canada
1 × Italy
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:
A.J.Hu D.Song M.Botincan D.Reynaud J.D.Bingham L.Martignoni S.McCamant Z.Rakamaric B.Cook S.Bucur Y.Chen F.Ivancic T.King M.Kusano C.Lemieux L.Szekeres W.Wang
Talks about:
generat (2) static (2) supercub (1) structur (1) automata (1) abstract (1) softwar (1) scalabl (1) calysto (1) analysi (1)

Person: Domagoj Babic

DBLP DBLP: Babic:Domagoj

Contributed to:

POPL 20132013
CAV 20112011
ISSTA 20112011
ICSE 20082008
CAV 20072007
SEFM 20072007
DAC 20052005
ESEC/FSE 20192019

Wrote 8 papers:

POPL-2013-BotincanB #learning #specification
Sigma*: symbolic learning of input-output specifications (MB, DB), pp. 443–456.
CAV-2011-BabicRS #analysis #automaton
Malware Analysis with Tree Automata Inference (DB, DR, DS), pp. 116–131.
ISSTA-2011-BabicMMS #automation #generative #testing
Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ICSE-2008-BabicH #named #precise #scalability #static analysis
Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.
CAV-2007-BabicH #abstraction #verification
Structural Abstraction of Software Verification Conditions (DB, AJH), pp. 366–378.
SEFM-2007-BabicHRC #proving #termination
Proving Termination by Divergence (DB, AJH, ZR, BC), pp. 93–102.
DAC-2005-BabicBH #performance #satisfiability
Efficient SAT solving: beyond supercubes (DB, JDB, AJH), pp. 744–749.
ESEC-FSE-2019-BabicBCIKKLSW #generative #named #scalability
FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.

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.