Integration of supercubing and learning in a SAT solver. - Domagoj Babic; Alan J. Hu (ASP-DAC, 2005)

Efficient SAT solving: beyond supercubes. - Domagoj Babic; Jesse D. Bingham; Alan J. Hu (DAC, 2005)

B-cubing theory: new possibilities for efficient SAT-solving. - Domagoj Babic; Jesse D. Bingham; Alan J. Hu (HLDVT, 2005)

B-Cubing: New Possibilities for Efficient SAT-Solving. - Domagoj Babic; Jesse D. Bingham; Alan J. Hu (IEEE Trans. Computers, 2006)

Structural Abstraction of Software Verification Conditions. - Domagoj Babic; Alan J. Hu (CAV, 2007)

Boosting Verification by Automatic Tuning of Decision Procedures. - Frank Hutter; Domagoj Babic; Holger H. Hoos; Alan J. Hu (FMCAD, 2007)

Exploiting Shared Structure in Software Verification Conditions. - Domagoj Babic; Alan J. Hu (Haifa Verification Conference, 2007)

Proving Termination by Divergence. - Domagoj Babic; Alan J. Hu; Zvonimir Rakamaric; Byron Cook (SEFM, 2007)

Calysto: scalable and precise extended static checking. - Domagoj Babic; Alan J. Hu (ICSE, 2008)

Approximating the safely reusable set of learned facts. - Domagoj Babic; Alan J. Hu (Int. J. Softw. Tools Technol. Transf., 2009)

Input generation via decomposition and re-stitching: finding bugs in Malware. - Juan Caballero; Pongsin Poosankam; Stephen McCamant; Domagoj Babic; Dawn Song (CCS, 2010)

Inference and analysis of formal models of botnet command and control protocols. - Chia Yuan Cho; Domagoj Babic; Eui Chul Richard Shin; Dawn Song (CCS, 2010)

Malware Analysis with Tree Automata Inference. - Domagoj Babic; Daniel Reynaud; Dawn Song (CAV, 2011)

Statically-directed dynamic automated test generation. - Domagoj Babic; Lorenzo Martignoni; Stephen McCamant; Dawn Song (ISSTA, 2011)

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery. - Chia Yuan Cho; Domagoj Babic; Pongsin Poosankam; Kevin Zhijie Chen; Edward XueJun Wu; Dawn Song (USENIX Security Symposium, 2011)

Recognizing malicious software behaviors with tree automata inference. - Domagoj Babic; Daniel Reynaud; Dawn Song (Formal Methods Syst. Des., 2012)

Extraction of statistically significant malware behaviors. - Sirinda Palahan; Domagoj Babic; Swarat Chaudhuri; Daniel Kifer (ACSAC, 2013)

Asynchronously Communicating Visibly Pushdown Systems. - Domagoj Babic; Zvonimir Rakamaric (FMOODS/FORTE, 2013)

Sigma*: symbolic learning of input-output specifications. - Matko Botincan; Domagoj Babic (POPL, 2013)

Proving termination of nonlinear command sequences. - Domagoj Babic; Byron Cook; Alan J. Hu; Zvonimir Rakamaric (Formal Aspects Comput., 2013)

SunDew: systematic automated security testing (keynote). - Domagoj Babic (SPIN, 2017)

FUDGE: fuzz driver generation at scale. - Domagoj Babic; Stefan Bucur; Yaohui Chen; Franjo Ivancic; Tim King 001; Markus Kusano; Caroline Lemieux; László Szekeres; Wei Wang (ESEC/SIGSOFT FSE, 2019)

A scalable, flow-and-context-sensitive taint analysis of android applications. - Wontae Choi; Jayanthkumar Kannan; Domagoj Babic (J. Comput. Lang., 2019)