Efficient computation of happens-before relation for event-driven programs.

Pallavi Maiya, Aditya Kanade

Browse the full ISSTA paper archive.