Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.

Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan

Browse the full ICSE paper archive.