Mariam Lahami

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 20

Top Topics

Distributed Systems

Mutation Testing

Top Venues

Int. J. Auton. Adapt. Commun. Syst.

Publications

Mohamed Amin Hammami, Mariam Lahami
Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. MEDI (2023)
Mariam Lahami, Faten Chabaane
Improving the supply chain management via Blockchain: an olive oil case study. TACC (2023)
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
Formal Verification of Smart Contracts Based on Model Checking: An Overview. WETICE (2023)
Afef Jmal Maâlej, Mariam Lahami
White-Box Mutation Testing of Smart Contracts: A Quick Review. VECoS (2023)
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. ISCC (2023)
Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej
Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. CRiSIS (2022)
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. COMPSAC (2022)
Mariam Lahami, Afef Jmal Maâlej, Moez Krichen, Mohamed Amin Hammami
A Comprehensive Review of Testing Blockchain Oriented Software. ENASE (2022)
Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija
Formal Methods for the Verification of Smart Contracts: A Review. SIN (2022)
Mariam Lahami, Moez Krichen
A survey on runtime testing of dynamically adaptable and distributed systems. Softw. Qual. J. 29 (2) (2021)
Rim Ben Fekih, Mariam Lahami
Application of Blockchain Technology in Healthcare: A Comprehensive Study. ICOST (2020)
Mariam Lahami, Moez Krichen, Roobaea Alroobaea
TEPaaS: test execution platform as-a-service applied in the context of e-health. Int. J. Auton. Adapt. Commun. Syst. 12 (3) (2019)
Moez Krichen, Roobaea Alroobaea, Mariam Lahami
Towards a Runtime Standard-based Testing Framework for Dynamic Distributed Information Systems. ICEIS (1) (2019)
Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. ICEIS (2) (2018)
Moez Krichen, Afef Jmal Maâlej, Mariam Lahami
A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel
A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. ICEIS (Revised Selected Papers) (2018)
Mariam Lahami, Moez Krichen, Roobaea Alroobaea
Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain. ICCAD (2018)
Mariam Lahami, Moez Krichen, Mohamed Jmaiel
Safe and efficient runtime testing framework applied in dynamic and distributed systems. Sci. Comput. Program. 122 (2016)
Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ICTSS (2015)
Mariam Lahami, Moez Krichen, Mohamed Jmaïel
Runtime testing approach of structural adaptations for dynamic and distributed systems. Int. J. Comput. Appl. Technol. 51 (4) (2015)
Mariam Lahami, Moez Krichen, Mohamed Jmaiel
Runtime testing framework for improving quality in dynamic service-based systems. QASBA@ISSTA (2013)
Mariam Lahami, Moez Krichen
Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems. WETICE (2013)
Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. ICTSS (2012)
Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. ICTSS (2012)
Mariam Lahami, Moez Krichen, Mohamed Jmaiel
A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. CAL (2011)