Xiaofang Qi, Huayang Zhou. A Splitting Strategy for Testing Concurrent Programs. In Xinyu Wang, David Lo 0001, Emad Shihab, editors, 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019. pages 388-398, IEEE, 2019. [doi]
Abstract is missing.