Doctor Code: A machine learning-based approach to program repair

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

10.24200/sci.2023.54718.3884

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

• View Article
• PDF 3.76 M

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

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

10.24200/sci.2023.60224.6673

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

• View Article
• PDF 4.58 M

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

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

10.24200/sci.2020.50799.1874

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

• View Article
• PDF 2.61 M

Constructing automated test oracle for low observable software

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

10.24200/sci.2019.51494.2219

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

• View Article
• PDF 3.62 M

From Object-Z Specification to Groovy Implementation

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

10.24200/sci.2018.20798

Farzin Zaker; Hassan Haghighi; Eslam Nazemi

• View Article
• PDF 4.88 M

SCW+: A Service Oriented Framework for Cloud Workflow Systems

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

10.24200/sci.2016.3889

Milad Torkashvan; Hassan Haghighi

• View Article
• PDF 5.08 M

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

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

Mehrnaz Najafi; Hassan Haghighi

• View Article
• PDF 2.23 M