A Model-Based Approach to Combining Static and Dynamic Verification Techniques.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Browse the full ISoLA paper archive.