Fast Detection, Localization, and Patch Generation for Concurrency Defects

Designed a heuristic scheduling testing method to optimize Java concurrent programs, enhancing detection efficiency and effectiveness.

Project results were published at QRS 2021 and granted an invention patent.