Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.

Sishuai Gong, Dinglan Peng, Deniz Altinbken, Pedro Fonseca, Petros Maniatis

Browse the full SOSP paper archive.