Treffer: Efficient Concurrency Testing via Coverage-Guided Scheduler

Title:
Efficient Concurrency Testing via Coverage-Guided Scheduler
Authors:
Chen, Bojun, Li, Xiaoling, Wang, Shangwen, Ma, Jun, Wang, Jing, Yu, Jie
Source:
2025 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) ISPA Parallel and Distributed Processing with Applications (ISPA), 2025 IEEE International Symposium on. :492-501 Oct, 2025
Relation:
2025 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA)
Database:
IEEE Xplore Digital Library