Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software. - Evgeny Vainer; Amiram Yehudai (CoRR, 2014)