Testing Concurrent Programs using Value Schedules (0)

by J Chen, S MacDonald
Venue:ASE 2007, ACM