A Model-Based Approach to Combining Static and Dynamic Verification Techniques
['Shaun Azzopardi', 'Christian Colombo', 'Gordon J. Pace']
A Model-Based Approach to Combining Static and Dynamic Verification Techniques