J. Burnim, T. Elmas, G. Necula, and K. Sen, "NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'11), 2011, pp. 401-414.

J. Burnim and K. Sen, "Asserting and Checking Determinism for Multithreaded Programs," Communications of the ACM, vol. 53, iss. 6, pp. 97-105, 2010.
ACM SIGSOFT Distinguished Paper Award for the FSE version of this CACM paper.

K. Sen, "Race Directed Random Testing of Concurrent Programs," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'08), 2008, pp. 11-21.

K. Sen, D. Marinov, and G. Agha, "CUTE: A Concolic Unit Testing Engine for C," in Proc. 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), 2005, pp. 263-272.
ACM SIGSOFT Distinguished Paper Award

P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," in Proc. ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI'05), 2005, pp. 213-223.