Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. - Yibo Dai; Peng Wu 002; Shecheng Cui; Linhai Ma (TASE, 2024)