Online Efficient Predictive Safety Analysis of Multithreaded Programs.

Koushik Sen, Grigore Rosu, Gul Agha

Browse the full TACAS paper archive.