Concepedia

Domagoj Babić

DB

14

Publications

821

Citations

13

H-Index

2005

Active since

Affiliations

University of British Columbia(Current)

University of California, Berkeley

Microsoft Research (United Kingdom)

Meta (United States)

Menlo School

Domagoj Babić is an author at University of British Columbia specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal VerificationFormal MethodsSoftware TestingSoftware AnalysisSoftware EngineeringComputer EngineeringVerification

Publications per year

2005–2019

14

Publications

14

Calysto

Domagoj Babić, Alan J. Hu · 2008 · 144 citations

Software Maintenance, Program Checking, Engineering +19

Statically-directed dynamic automated test generation

Domagoj Babić, Lorenzo Martignoni, Stephen McCamant et al. · 2011 · 120 citations

Engineering, Verification, Test Data Generation +21

FUDGE: fuzz driver generation at scale

Domagoj Babić, Stefan Bucur, Yaohui Chen et al. · 2019 · 106 citations

Engineering, Advanced Computing, Software Systems +18

MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery

Chia Yuan Cho, Domagoj Babić, Pongsin Poosankam et al. · 2011 · 98 citations

Boosting Verification by Automatic Tuning of Decision Procedures

Frank Hutter, Domagoj Babić, Holger H. Hoos et al. · Formal Methods in Computer-Aided Design · 2007 · 94 citations

Artificial Intelligence, Engineering, Machine Learning +24

Rows per page

1–5 of 14