Author = H. Haghighi
Doctor Code: A machine learning-based approach to program repair

Volume 31, Issue 2, January and February 2024, Pages 83-102

Sh. Moosavi; M. Vahidi-Asl; H. Haghighi; M. Rezaalipour


Test data generation for program units using a game with a purpose

Volume 30, Issue 5, September and October 2023, Pages 1670-1686

Sh. Moosavi; M. Vahidi-Asl; H. Haghighi


Macrophage+: A game with a purpose for applying human intelligence in control mechanisms

Volume 27, Issue 6, November and December 2020, Pages 2985-3004

A. Tarihi; H. Haghighi; F. Shams Aliee; A. Setarenejad


Constructing automated test oracle for low observable software

Volume 27, Issue 3, June 2020, Pages 1333-1351

M. Valueian; N. Attar; H. Haghighi; M. Vahidi-Asl


From Object-Z Specification to Groovy Implementation

Volume 25, Issue 6, November and December 2018, Pages 3415-3441

Farzin Zaker; Hassan Haghighi; Eslam Nazemi


SCW+: A Service Oriented Framework for Cloud Workflow Systems

Volume 23, Issue 3, June 2016, Pages 1195-1216

Milad Torkashvan; Hassan Haghighi


A Formal Mapping fromObject-Z Specification to C++ Code

Volume 20, Issue 6, December 2013, Pages 1953-1977

Mehrnaz Najafi; Hassan Haghighi