Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Combining Model Checking and Testing

Patrice Godefroid

Abstract

Model checking and testing have a lot in common. Over the last two decades, significant progress has been made on how to broaden the scope of model checking from finite-state abstractions to actual software implementations. One way to do this consists of adapting model checking into a form of systematic testing that is applicable to industrial-size software. This chapter presents an overview of this strand of software model checking.

Details

Publication typeTechReport
NumberMSR-TR-2013-80
> Publications > Combining Model Checking and Testing