Concepedia

Author

Domagoj Babić

University of British Columbia

Also Known As

Babić, Domagoj, D Babić, D. Babic, Domagoj Babic, Domagoj Babić, Domagoj, Babić

40

Publications

991

Citations

15

H-Index

42

Concepts

All Affiliations

University of British ColumbiaUniversity of California, BerkeleyMicrosoft Research (United Kingdom)Meta (United States)Menlo School
DB

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

11

684

2

Computer Science

11

11

684

3

Computer Engineering

7

7

570

4

Systems Engineering

4

4

289

5

Data Science

1

1

28

Domagoj Babić

×

14

Publications

821

Citations

13

H-Index

YearCitations

Calysto

Domagoj Babić, Alan J. Hu

2008

144

Statically-directed dynamic automated test generation

Domagoj Babić, Lorenzo Martignoni, Stephen McCamant,

2011

120

FUDGE: fuzz driver generation at scale

Domagoj Babić, Stefan Bucur, Yaohui Chen,

2019

106

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

Chia Yuan Cho, Domagoj Babić, Pongsin Poosankam,

2011

98

Boosting Verification by Automatic Tuning of Decision Procedures

Frank Hutter, Domagoj Babić, Holger H. Hoos,

Formal Methods in Computer-Aided Design

2007

94

Sigma*

Matko Botinčan, Domagoj Babić

2013

51

Boosting Verification by Automatic Tuning of Decision Procedures

Frank Hutter, Domagoj Babić, Holger H. Hoos,

2007

50

Modular Arithmetic Decision Procedure

Domagoj Babić, Madan Musuvathi

2005

31

Extraction of statistically significant malware behaviors

Sirinda Palahan, Domagoj Babić, Swarat Chaudhuri,

2013

28

Exploiting structure for scalable software verification

Domagoj Babić

Open Collections

2008

26

Page 1