Periodic Checkpointing for Strong Mobility of Orchestrated Web Services. - Soumaya Marzouk; Afef Jmal Maâlej; Ismael Bouassida Rodriguez; Mohamed Jmaiel (SERVICES I, 2009)

Aspect-Oriented Checkpointing Approach of Composed Web Services. - Soumaya Marzouk; Afef Jmal Maâlej; Mohamed Jmaiel (ICWE Workshops, 2010)

Conformance Testing of WS-BPEL Compositions under Various Load Conditions. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaiel (COMPSAC, 2012)

Model-Based Conformance Testing of WS-BPEL Compositions. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaiel (COMPSAC Workshops, 2012)

Towards Planning Policies for Self-Adaptive Orchestrated Web Services. - Soumaya Marzouk; Afef Jmal Maâlej (WETICE, 2012)

Automated Significant Load Testing for WS-BPEL Compositions. - Afef Jmal Maâlej; Manel Hamza; Moez Krichen; Mohamed Jmaiel (ICST Workshops, 2013)

Conformance testing for quality assurance of clustering architectures. - Afef Jmal Maâlej; Zeineb Ben Makhlouf; Moez Krichen; Mohamed Jmaiel (QASBA@ISSTA, 2013)

WSCCT: a tool for WS-BPEL compositions conformance testing. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaiel (SAC, 2013)

WSCLT: A Tool for WS-BPEL Compositions Load Testing. - Afef Jmal Maâlej; Manel Hamza; Moez Krichen (WETICE, 2013)

Study on the Limitations of WS-BPEL Compositions Under Load Conditions. - Afef Jmal Maâlej; Moez Krichen (Comput. J., 2015)

A comparative evaluation of state-of-the-art load and stress testing approaches. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaïel (Int. J. Comput. Appl. Technol., 2015)

A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. - Afef Jmal Maâlej; Moez Krichen (VECoS, 2016)

Test à base de modèles de services Web composés sous des conditions de charge variées. (Model-based testing of composed Web services under various load conditions). - Afef Jmal Maâlej (2016)

WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaïel (TAP@STAF, 2017)

A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. - Moez Krichen; Afef Jmal Maâlej; Mariam Lahami; Mohamed Jmaiel (ICEIS (Revised Selected Papers), 2018)

Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. - Afef Jmal Maâlej; Mariam Lahami; Moez Krichen; Mohamed Jmaïel (ICEIS (2), 2018)

A model-based approach to combine conformance and load tests: an eHealth case study. - Moez Krichen; Afef Jmal Maâlej; Mariam Lahami (Int. J. Crit. Comput. Based Syst., 2018)

Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge. - Moez Krichen; Afef Jmal Maâlej (CAL, 2019)

Une Approche de Test de Charge de Compositions de ServicesWeb. - Afef Jmal Maâlej; Moez Krichen (CAL, 2019)

Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. - Mohamed Amin Hammami; Mariam Lahami; Afef Jmal Maâlej (CRiSIS, 2022)

A Comprehensive Review of Testing Blockchain Oriented Software. - Mariam Lahami; Afef Jmal Maâlej; Moez Krichen; Mohamed Amin Hammami (ENASE, 2022)

White-Box Mutation Testing of Smart Contracts: A Quick Review. - Afef Jmal Maâlej; Mariam Lahami (VECoS, 2023)

Comprehensive Overview: Ethereum Smart Contract Security Testing for Reentrancy Issues. - Marwa Mnasri; Afef Jmal Maâlej; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

Automated Testing of Tezos Blockchain-Oriented Software. - Afef Jmal Maâlej; Achraf Weli (ENASE, 2025)

A systematic literature review on dynamic testing of blockchain oriented software. - Mariam Lahami; Afef Jmal Maâlej; Moez Krichen (Sci. Comput. Program., 2025)