Author = Hassan Haghighi
Number of Articles: 4
1. Constructing Automated Test Oracle for Low Observable Software

Articles in Press, Accepted Manuscript, Available Online from 10 August 2019

Meysam Valueian; Niousha Attar; Hassan Haghighi; Mojtaba Vahidi-Asl


2. From Object-Z Specification to Groovy Implementation

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

Farzin Zaker; Hassan Haghighi; Eslam Nazemi


3. SCW+: A Service Oriented Framework for Cloud Workflow Systems

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

Milad Torkashvan; Hassan Haghighi


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

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

Mehrnaz Najafi; Hassan Haghighi