| Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. | 1 | 0.36 | 2011 |
| MAFSE: A Model-Based Framework for Software Verification | 3 | 0.44 | 2010 |
| COMBINE: a tool on combined formal methods for bindingly verification | 1 | 0.35 | 2010 |
