A Set of Refactoring Rules for UML-B Specifications. - Mehrnaz Najafi; Hassan Haghighi; Tahereh Zohdi Nasab (Comput. Informatics, 2016)

Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. - Atieh Monemi Bidgoli; Hassan Haghighi; Tahereh Zohdi Nasab; Hamideh Sabouri (FSEN, 2017)