10 citations · 28 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2017★ 10 cited
Predicting SMT Solver Performance for Software Verification
Andrew Healy, Rosemary Monahan, James F. Power
The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a p…
cs.SE2012★ 10 cited
Metamodel Instance Generation: A systematic literature review
Hao Wu, Rosemary Monahan, James F. Power
Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic liter…