J. Kim, и D. Garlan. ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, стр. 70--80. New York, NY, USA, ACM, (2006)
S. Khurshid, M. Malik, и E. Uzuncaova. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, стр. 449--457. (2006)
F. Mostefaoui, и J. Vachon. AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling, стр. 41--48. New York, NY, USA, ACM Press, (2007)
J. Rubin, M. Chechik, и S. Easterbrook. MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering, стр. 7--14. New York, NY, USA, ACM, (2008)
S. Krishnamurthi, K. Fisler, D. Dougherty, и D. Yoo. SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, стр. 158--169. New York, NY, USA, ACM, (2008)