Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bnneland, Sarbojit Das, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas

Browse the full ATVA paper archive.