Domagoj Babić - Citegraph

Author Info

Name	Affiliation	Papers
DOMAGOJ BABIĆ	Facebook, Inc., Menlo Park, CA, USA	10
Collaborators	Citations	PageRank
15	145	7.11
Referers	Referees	References
401	430	253

Search Limit

100430

Publications (10 rows)

Collaborators (15 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Sigma*: symbolic learning of input-output specifications	12	0.54	2013
Extraction of statistically significant malware behaviors	10	0.53	2013
Recognizing malicious software behaviors with tree automata inference	6	0.43	2012
MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery	32	1.05	2011
Malware analysis with tree automata inference	23	0.87	2011
Statically-directed dynamic automated test generation	51	1.90	2011
Approximating the safely reusable set of learned facts	1	0.38	2009
Exploiting shared structure in software verification conditions	4	0.59	2007
Efficient SAT solving: beyond supercubes	3	0.43	2005
Integration of supercubing and learning in a SAT solver	3	0.39	2005

1