Domagoj Babic

According to our database, Domagoj Babic authored at least 23 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A scalable, flow-and-context-sensitive taint analysis of android applications.

Wontae Choi, Jayanthkumar Kannan, Domagoj Babic

J. Comput. Lang., 2019

FUDGE: fuzz driver generation at scale.

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2017

SunDew: systematic automated security testing (keynote).

Domagoj Babic

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2013

Proving termination of nonlinear command sequences.

Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric

Formal Aspects Comput., 2013

Sigma*: symbolic learning of input-output specifications.

Matko Botincan, Domagoj Babic

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Asynchronously Communicating Visibly Pushdown Systems.

Domagoj Babic, Zvonimir Rakamaric

Proceedings of the Formal Techniques for Distributed Systems, 2013

Extraction of statistically significant malware behaviors.

Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer

Proceedings of the Annual Computer Security Applications Conference, 2013

2012

Recognizing malicious software behaviors with tree automata inference.

Domagoj Babic, Daniel Reynaud, Dawn Song

Formal Methods Syst. Des., 2012

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

Proceedings of the 20th USENIX Security Symposium, 2011

Statically-directed dynamic automated test generation.

Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Malware Analysis with Tree Automata Inference.

Domagoj Babic, Daniel Reynaud, Dawn Song

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Inference and analysis of formal models of botnet command and control protocols.

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Input generation via decomposition and re-stitching: finding bugs in Malware.

Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Approximating the safely reusable set of learned facts.

Domagoj Babic, Alan J. Hu

Int. J. Softw. Tools Technol. Transf., 2009

2008

Calysto: scalable and precise extended static checking.

Domagoj Babic, Alan J. Hu

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Proving Termination by Divergence.

Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Exploiting Shared Structure in Software Verification Conditions.

Domagoj Babic, Alan J. Hu

Proceedings of the Hardware and Software: Verification and Testing, 2007

Boosting Verification by Automatic Tuning of Decision Procedures.

Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Structural Abstraction of Software Verification Conditions.

Domagoj Babic, Alan J. Hu

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

B-Cubing: New Possibilities for Efficient SAT-Solving.

Domagoj Babic, Jesse D. Bingham, Alan J. Hu

IEEE Trans. Computers, 2006

2005

B-cubing theory: new possibilities for efficient SAT-solving.

Domagoj Babic, Jesse D. Bingham, Alan J. Hu

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

Efficient SAT solving: beyond supercubes.

Domagoj Babic, Jesse D. Bingham, Alan J. Hu

Proceedings of the 42nd Design Automation Conference, 2005

Integration of supercubing and learning in a SAT solver.

Domagoj Babic, Alan J. Hu

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005