Andrew Healy

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Application Specific

Predicting Future

Special Purpose

Top Venues

Publications

Andrew Healy, Rosemary Monahan, James F. Power
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. SAC (2016)
Andrew Healy, Rosemary Monahan, James F. Power
Predicting SMT Solver Performance for Software Verification. F-IDE@FM (2016)