Hassan Haghighi

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 38

Top Topics

Test Data Generation

Symbolic Execution

Top Venues

J. Syst. Softw.

Appl. Soft Comput.

Comput. Informatics

Publications

Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl
JAHAN: A framework for procedural generation of game maps from design specifications. Entertain. Comput. 50 (2024)
Mohammad Reza Pour-Hosseini, Mahdi Abbasi, Bahman Javadi, Seifeddine Benelghali, Hassan Haghighi, Ehsan Mohammadi Pasand, Parham Moradi
Efficient Edge Computing: Harnessing Compact Machine Learning Models for Workload Optimization. GECCO Companion (2024)
Mohammad Ghoreshi, Hassan Haghighi
Object coverage criteria for supporting object-oriented testing. Softw. Qual. J. 31 (4) (2023)
Hassan Haghighi, Daniel Delahaye, Davood Asadi
Performance-based emergency landing trajectory planning applying meta-heuristic and Dubins paths. Appl. Soft Comput. 117 (2022)
Mohammad Ghoreshi, Hassan Haghighi
Systematic Extraction of Tests from Object-Oriented Programs. FSEN (2021)
Hassan Haghighi, Davood Asadi, Daniel Delahaye
Multi-Objective Cooperated Path Planning of Multiple Unmanned Aerial Vehicles Based on Revisit Time. J. Aerosp. Inf. Syst. 18 (12) (2021)
Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl
Test data generation using genetic programming. Inf. Softw. Technol. 130 (2021)
Atieh Monemi Bidgoli, Hassan Haghighi
Augmenting ant colony optimization with adaptive random testing to cover prime paths. J. Syst. Softw. 161 (2020)
Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl
Using likely invariants for test data generation. J. Syst. Softw. 164 (2020)
Seyed Mohsen Mirhosseini, Hassan Haghighi
A Search-Based Test Data Generation Method for Concurrent Programs. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Amirabbas Majd, Mojtaba Vahidi-Asl, Alireza Khalilian, Pooria Poorsarvi-Tehrani, Hassan Haghighi
SLDeep: Statement-level software defect prediction using deep-learning model on static code features. Expert Syst. Appl. 147 (2020)
Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi
A significance-based trust-aware recommendation approach. Inf. Syst. 87 (2020)
Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi
Process Patterns for Service Oriented Development. CoRR (2020)
Mehdi Alemi, Hassan Haghighi
KTMiner: Distributed k-truss detection in big graphs. Inf. Syst. 83 (2019)
Mohammad Nosrati, Hassan Haghighi
A Probabilistic Extension of UML-B. Comput. Informatics 38 (1) (2019)
Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
Privacy-Preserving LDA Classification over Horizontally Distributed Data. IDC (2019)
Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi
A Dynamic Local-Global Trust-aware Recommendation approach. Electron. Commer. Res. Appl. 34 (2019)
Saeed Amiri-Chimeh, Hassan Haghighi
An approach to solving non-linear real constraints for symbolic execution. J. Syst. Softw. 157 (2019)
Alireza Khalilian, Alireza Mirzaeiyan, Mojtaba Vahidi-Asl, Hassan Haghighi
Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures. J. Exp. Theor. Artif. Intell. 31 (2) (2019)
Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl
Greenify: A Game with the Purpose of Test Data Generation for Unit Testing. FSEN (2019)
Seyyed Mohsen Mirhosseini, Hassan Haghighi
Application of the Shuffled Frog Leaping Algorithm (SFLA) in Constructing Fuzzy Classification Systems. Int. J. Comput. Intell. Appl. 18 (3) (2019)
Hassan Haghighi, Maziar Mobasheri, Farhoud Jafari Kaleibar, Faezeh Hoseini
Use Cases of the Application Reference Model in IRAN. ICEIS (2) (2019)
Alireza Khalilian, Amir Nourazar, Mojtaba Vahidi-Asl, Hassan Haghighi
G3MD: Mining frequent opcode sub-graphs for metamorphic malware detection of existing families. Expert Syst. Appl. 112 (2018)
Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl, Kamyar Setayesh-Ghajar, Farshad Gholami-Ghavamabad
Rings: A Game with a Purpose for Test Data Generation. Interact. Comput. 30 (1) (2018)
Faezeh Sadat Gohari, Fereidoon Shams Aliee, Hassan Haghighi
A new confidence-based recommendation approach: Combining trust and certainty. Inf. Sci. 422 (2018)
Atieh Monemi Bidgoli, Hassan Haghighi
A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses. SSBSE (2018)
Hossein Sharifipour, Mojtaba Shakeri, Hassan Haghighi
Structural test data generation using a memetic ant colony optimization based on evolution strategies. Swarm Evol. Comput. 40 (2018)
Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data. DASC/PiCom/DataCom/CyberSciTech (2018)
Mehdi Alemi, Hassan Haghighi, Saeed Shahrivari
CCFinder: using Spark to find clustering coefficient in big graphs. J. Supercomput. 73 (11) (2017)
Faezeh Sadat Gohari, Hassan Haghighi, Fereidoon Shams Aliee
A semantic-enhanced trust based recommender system using ant colony optimization. Appl. Intell. 46 (2) (2017)
Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. FSEN (2017)
Arastoo Bozorgi, Hassan Haghighi, Mohammad Sadegh Zahedi, Mojtaba Rezvani
INCIM: A community-based algorithm for influence maximization problem under the linear threshold model. Inf. Process. Manag. 52 (6) (2016)
Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
A Set of Refactoring Rules for UML-B Specifications. Comput. Informatics 35 (2) (2016)
Mohammad Ghoreshi, Hassan Haghighi
An incremental method for extracting tests from object-oriented specification. Inf. Softw. Technol. 78 (2016)
Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini
A bipolar resource management framework for resource provisioning in Cloud's virtualized environment. Appl. Soft Comput. 46 (2016)
Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. FSEN (2015)
Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosseini
An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers. Computing 97 (12) (2015)
Fouad Bahrpeyma, Ali Zakerolhosseini, Hassan Haghighi
Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud's virtualized environment. Appl. Soft Comput. 26 (2015)
Ali Kazemi, Ali Rostampour, Hassan Haghighi, Sahel Abbasi
A Conceptual Cohesion Metric for Service Oriented Systems. J. Web Eng. 13 (3&4) (2014)
Ali Kazemi, Hassan Haghighi, Fereidoon Shams
Absim: an Automated Business Service Identification Method. Int. J. Softw. Eng. Knowl. Eng. 23 (9) (2013)
Mohammad Ghafari, Pooyan Jamshidi, Saeed Shahbazi, Hassan Haghighi
An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems. CBSE (2012)
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
Towards a Calculus for Nondeterministic Schemas in Z. Int. J. Softw. Eng. Knowl. Eng. 22 (6) (2012)
Mehrnaz Najafi, Hassan Haghighi
An approach to animate Object-Z specifications using C++. Sci. Iran. 19 (6) (2012)
Milad Torkashvan, Hassan Haghighi
CSLAM: A framework for cloud service level agreement management based on WSLA. IST (2012)
Milad Torkashvan, Hassan Haghighi
A greedy approach for service composition. IST (2012)
Ali Kazemi, Ali Nasirzadeh Azizkandi, Ali Rostampour, Hassan Haghighi, Pooyan Jamshidi, Fereidoon Shams
Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing. IEEE SCC (2011)
Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams
An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion. QSIC (2011)
Mahdi Fahmideh, Mohsen Sharifi, Pooyan Jamshidi, Fereidoon Shams, Hassan Haghighi
Process patterns for service-oriented software development. RCIS (2011)
Hassan Haghighi, Mohammad Mahdi Javanmard
Constructive Development of Probabilistic Programs. FSEN (2011)
Hassan Haghighi
Towards a formal framework for developing concurrent programs: Modeling dynamic behavior. AICCSA (2010)
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
Nondeterminism in Constructive Z. Fundam. Informaticae 88 (1-2) (2008)
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. Electron. Notes Theor. Comput. Sci. 159 (2006)