SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Pedro Fonseca, Rodrigo Rodrigues, Bjoern Brandenburg,

Publisher	Usenix Association
Publisher	Usenix Association

Publication