Asynchronous Programming, Analysis and Testing with State Machines
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers