Patrice Godefroid's Publications by Themes

Software Model Checking via Systematic Testing

Software Model Checking via Abstraction

Avoiding State Explosion in Model Checking (mostly thanks to Partial-Order Reduction)

My PhD thesis presents most of the results of my previous publications (before 1995) in a more comprehensive way. I highly recommend reading my thesis instead, preferably the LNCS revised version (my PhD thesis itself is available from here).

Symbolic Model Checking for Infinite State Systems

Recursive and Transactional State Machines

Many-Valued Logics

Specification Mining

Other Model-Checking Techniques

Short Papers on Tools

Applications of Model Checking (Case Studies)

Market Study