Testing Concurrent Objects with Application-Specific Schedulers

R. Schlatte, B. Aichernig, F. Boer, A. Griesmayer, and E. B. Johnsen

Abstract:

Reference: R. Schlatte, B. Aichernig, F. Boer, A. Griesmayer, and E. B. Johnsen. Testing concurrent objects with application-specific schedulers. In Proceedings of the 5^th international colloquium on Theoretical Aspects of Computing, pages 319-333, Berlin, Heidelberg, 2008. Springer-Verlag.