A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing