Thread Scheduling Sequence Generation Based on All Synchronization Pair Coverage Criteria. - Junxia Guo; Zheng Li 002; CunFeng Shi; Ruilian Zhao (Int. J. Softw. Eng. Knowl. Eng., 2020)