Testing Concurrent Programs Using Value Schedules (2007)

by J Chen, S MacDonald
Venue:In Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering (ASE