1. Effective Randomized Concurrency Testing with Partial Order Methods Yuan, Xinhao 2020 Theses Computer scienceComputer multitaskingComputer software--TestingPartially ordered sets