[1] زینب اسمعیلپور، اشکان سامی، «گسترش ابزارهای خودکار شناسایی الگوهای طراحی با عملگر تصحیح برچسب»، مجله مهندسی برق دانشگاه تبریز، دوره 45، شماره 2، صفحه 11-26، 2014.
[2] لیلا صمیمی دهکردی، بهمن زمانی و شکوفه کلاهدوز رحیمی، «ارائه روشی جدید برای تبدیل مدل دوسویه بر اساس چارچوب اپسیلون و تکنیکهای ردیابیپذیری»، مجله مهندسی برق دانشگاه تبریز، دوره 47، شماره 3، صفحه 1121-1132، 2017.
[3] L. C. Briand, Y. Labiche, and T. Yue, “Automated Traceability Analysis for UML Model Refinements,” Information and Software Technology, vol. 51, no. 2, pp. 512-527, 2009.
[4] H. Zhu, P. A. Hall, and H. R. May, “Software unit test coverage and adequacy,” ACM Computing Surveys, vol. 29, pp. 336–427, 1997.
[5] J. M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, Englewood Cliffs, NJ, 1992.
[6] M. Saaltink, “The Z/EVES System,” in Proceedings of the 10th International Conference of Z Users on The Z formal Specification Notation, Lecture Notes in Computer Science 1212, pp. 72-85, 1997.
[7] R. Heckel, J. M. Kuster, and G. Taentzer, “Confluence of typed attributed graph transformation systems. In: Graph Transformation,” in First International Conference. Lecture Notes in Computer Science 2505, pp. 161–176, 2002.
[8] P. Stevens, “Bidirectional model transformations in QVT: semantic issues and open questions,” Software & Systems Modeling, vol. 9, p. 7, 2010.
[9] A. Agrawal, G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, “The Design of a Language for Model Transformations,” Journal of Software and System Modeling, vol. 5, pp. 261-288 2005.
[10] J. Buckley, T. Mens, M. Zenger, A. Rashid, and G. Kniesel, “Towards a taxonomy of software change,” Software Maintenance and Evolution, vol. 17, pp. 309-332, 2005.
[11] G. Bergmann, I. Ráth, G. Varró, and D. Varró, “Change-driven model transformations,” Software & Systems Modeling, vol. 11, pp. 431-461, 2012.
[12] G. Myers, The Art of Software Testing, John Wiley & Sons, Inc., 2004.
[13] P. Ammann and J. Offutt, “Using formal methods to derive test frames in category-partition testing,” in Proceeding of the 9th Annual Conference on Computer Assurance, pp. 69-80, 1994.
[14] D. Varró and A. Balogh, “The Model Transformation Language of the VIATRA2 Framework,” Science of Computer Programming, vol. 68, pp. 214–234, 2007.
[15] G. Rothermel and M. J. Harrold, “Analysing Regression Test Selection Techniques,” IEEE Transactions on Software Engineering, vol. 22, pp. 529-551, 1996.
[16] E. Engström, M. Skoglund, and P. Runeson, “Empirical evaluations of regression test selection techniques: a systematic review. Proceedings of the Empirical software engineering and measurement,” in ACM-IEEE international symposium, pp. 22–31, 2008.
[17] Q. Farooq, “A Model Driven Approach to Test Evolving Business Process based Systems,” in 13th International Conference on Model Driven Engineering Languages and Systems, pp. 6-24, 2010.
[18] L. C. Briand, Y. Labiche, and S. He, “Automating regression test selection based on UML designs,” Information & Software Technology, vol. 51, pp. 16-30, 2009.
[19] Y. Chen, R. Probert, and D. Sims, “Specification-based regression test selection with risk analysis,” in Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research, p. 1, 2002.
[20] Y. Wu and J. Offutt, “Maintaining Evolving Component based software with UML,” in Proceeding of 7th European conference on software maintenance and reengineering, pp. 133-142, 2003.
[21] H. Hemmati, A. Arcuri, and L. Briand, “Achieving scalable model-based testing through test case diversity,” ACM Trans. Softw. Eng. Methodol, vol. 22, p. 6 pages, 2013.
[22] L. Tahat, B. Korel, H. M, and H. Ural, “Regression test suite prioritization using system models,” Softw. Test., Verif. Reliab, vol. 22, pp. 481-506, 2012.
[23] L. B. Kore, G. Koutsogiannakis, and L. Tahat, “Model-based test prioritization heuristic methods and their evaluation,” in the 3rd International Workshop on Advances in Model-Based Testing, pp. 34–43, 2007.
[24] M. Khatibsyarbini, M. A. Isa, D. N. Jawawi, and R. Tumeng, “Test case prioritization approaches in regression testing: A systematic literature review,” Information and Software Technology, vol. 93, pp. 74-93, 2017.
[25] J. Chen, L. Zhu, T. Y. Chen, D. Towey, F.-C. Kuo, R. Huang, et al., “Test case prioritization for object-oriented software: An adaptive random sequence approach based on clustering,” Journal of Systems and Software, vol. 135, pp. 107-125, 2018.
[26] A. Ansari, A. Khan, A. Khan, and K. Mukadam, “Optimized regression test using test case prioritization,” Procedia Computer Science, vol. 79, pp. 152-160, 2016.
[27] P. Sapna and A. Balakrishnan, “An approach for generating minimal test cases for regression testing,” Procedia computer science, vol. 47, pp. 188-196, 2015.
[28] A. Schwartz and H. Do, “Cost-effective regression testing through Adaptive Test Prioritization strategies,” Journal of Systems and Software, vol. 115, pp. 61-81, 2016.
[29] G. Rothermel and M. Harrold, “A safe, efficient regression test selection technique,” ACM Trans. On Softw. Eng. and Methodology, vol. 6, pp. 173-210, 1997.
[30] K. Beck, Test Driven Development: By Example, Addison-Wesley Professional, 2002.
[31] O. Pilskalns, G. Uyan, and A. Andrews, “Regression Testing UML Designs,” in ICSM. 22nd IEEE International Conference, pp. 254-264, 2006.
[32] Q. Yuan, J. Wu, C. Liu, and L. Zhang, “A model driven approach toward business process test case generation,” in 10th International Symposium on Web Site Evolution, pp. 41-44, 2008.
[33] D. Deng, P. C. Sheu, and T. Wang, “Model-based testing and maintenance,” in Proceedings of IEEE Sixth International Symposium on Multimedia Software Engineering, pp. 278- 285, 2004.
[34] N. Mansour and H. Takkoush, “UML based regression testing technique for OO software,” in Proceedings of the IASTED International Conference on Software Engineering and Applications, Boston, pp. 96-101, 2007.
[35] P. A. Stocks and D. Carrington, “Test templates: a specification-based testing framework,” in Proceeding of 15th Int. Conf. on Software Engineering, pp. 405-414, 1996.
[36] C.-Y. Chen, R. Chapman, and K. H. Chang, “Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing,” in Proceedings of the 37th annual Southeast regional conference (CD-ROM), p. 37, 1999.
[37] H. Liang, “Regression Testing of Classes Based on TCOZ Specifications,” in Proceedings of the 10th International Conference on Engineering of Complex Computer Systems, pp. 450-457, 2005.
[38] M. Nooraei Abadeh and S. H. Mirian‐Hosseinabadi, “Delta‐based regression testing: a formal framework towards model‐driven regression testing,” Journal of Software: Evolution and Process, vol. 27, pp. 913-952, 2015.