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: Babic:Domagoj
Contributed to:
2013
2011
2011
20082007
2007
2005
2019Wrote 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.