Model-Based-Kernel-Testing-For-Concurrency-Bugs-Through-Cou published presentations and documents on DocSlides.