S. Lauterburg, R. Karmani, D. Marinov, и G. Agha. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 363--364. New York, NY, USA, ACM, (2010)
S. Tasharofi, M. Pradel, Y. Lin, и R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, стр. 114-124. (ноября 2013)
M. Miller, E. Tribble, и J. Shapiro. Symposium on Trustworthy Global Computing, том 3705 из Lecture Notes in Computer Science, стр. 195--229. Springer, (апреля 2005)