Runtime prevention of concurrency related type-state violations in multithreaded applications.

Lu Zhang, Chao Wang

Browse the full ISSTA paper archive.