| Inference and analysis of formal models of botnet command and control protocols CY Cho, D Babi ć, ECR Shin, D Song Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 266 | 2010 |
| Calysto: scalable and precise extended static checking D Babic, AJ Hu Proceedings of the 30th international conference on Software engineering …, 2008 | 203 | 2008 |
| Statically-directed dynamic automated test generation D Babić, L Martignoni, S McCamant, D Song Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 201 | 2011 |
| Boosting verification by automatic tuning of decision procedures F Hutter, D Babic, HH Hoos, AJ Hu Formal Methods in Computer Aided Design (FMCAD'07), 27-34, 2007 | 195 | 2007 |
| {MACE}:{Model-inference-Assisted} concolic exploration for protocol and vulnerability discovery CY Cho, D Babić, P Poosankam, KZ Chen, EXJ Wu, D Song 20th USENIX Security Symposium (USENIX Security 11), 2011 | 178 | 2011 |
| Fudge: fuzz driver generation at scale D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ... Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 130 | 2019 |
| Structural abstraction of software verification conditions D Babić, AJ Hu Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 94 | 2007 |
| Input generation via decomposition and re-stitching: Finding bugs in malware J Caballero, P Poosankam, S McCamant, D Babi ć, D Song Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 92 | 2010 |
| Malware analysis with tree automata inference D Babić, D Reynaud, D Song Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 78 | 2011 |
| Sigma* symbolic learning of input-output specifications M Botinčan, D Babić ACM SIGPLAN Notices 48 (1), 443-456, 2013 | 74 | 2013 |
| Spear theorem prover D Babic, F Hutter Solver description, SAT competition 2007, 2007 | 51 | 2007 |
| Extraction of statistically significant malware behaviors S Palahan, D Babić, S Chaudhuri, D Kifer Proceedings of the 29th Annual Computer Security Applications Conference, 69-78, 2013 | 42 | 2013 |
| Exploiting structure for scalable software verification D Babic PhD thesis, University of British Columbia, Vancouver, Canada, 2008 | 39 | 2008 |
| Modular arithmetic decision procedure D Babic, M Musuvathi Microsoft Research Redmond, Tech. Rep. TR-2005-114, 2005 | 39 | 2005 |
| Proving termination by divergence D Babic, AJ Hu, Z Rakamaric, B Cook Fifth IEEE International Conference on Software Engineering and Formal …, 2007 | 28 | 2007 |
| Proving termination of nonlinear command sequences D Babić, B Cook, AJ Hu, Z Rakamarić Formal Aspects of Computing 25, 389-403, 2013 | 24 | 2013 |
| Testing applications with a defined input format F Ivancic, L Szekeres, D Babic US Patent 9,977,729, 2018 | 18 | 2018 |
| Recognizing malicious software behaviors with tree automata inference D Babić, D Reynaud, D Song Formal Methods in System Design 41 (1), 107-128, 2012 | 16 | 2012 |
| B-cubing: New possibilities for efficient sat-solving D Babic, J Bingham, AJ Hu IEEE Transactions on Computers 55 (11), 1315-1324, 2006 | 12 | 2006 |
| Java simulator of real-time scheduling algorithms G Jakovljevic, Z Rakamaric, D Babic ITI 2002. Proceedings of the 24th International Conference on Information …, 2002 | 12 | 2002 |
