ConSeq: detecting concurrency bugs through sequential errors
Testing Closed-Source Binary Device Drivers with DDT