Springer
Lecture Notes in Computer Science
International Colloquium on Theoretical Aspects of Computing
Computer Security

de Boer, F., Schlatte, R., Aichernig, B. K.& Broch Johnsen, E. (2008, January). Testing Concurrent Objects with Application-Specific Schedulers. Lecture Notes in Computer Science.