Follow
Afef JMAL MAÂLEJ
Afef JMAL MAÂLEJ
Associate Professor at FSEG Sfax - Tunisia
Verified email at redcad.org - Homepage
Title
Cited by
Cited by
Year
Security testing of internet of things for smart city applications: A formal approach
M Krichen, M Lahami, O Cheikhrouhou, R Alroobaea, AJ Maâlej
Smart Infrastructure and Applications: Foundations for Smarter Cities and …, 2020
672020
A model-based approach to combine conformance and load tests: an ehealth case study
M Krichen, AJ Maâlej, M Lahami
International Journal of Critical Computer-Based Systems 8 (3-4), 282-310, 2018
562018
Towards a model-based testing framework for the security of internet of things for smart city applications
M Krichen, O Cheikhrouhou, M Lahami, R Alroobaea, A Jmal Maâlej
Smart Societies, Infrastructure, Technologies and Applications: First …, 2018
562018
A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures.
AJ Maâlej, M Krichen
VECoS, 123-140, 2016
542016
Model-based conformance testing of ws-bpel compositions
AJ Maâlej, M Krichen, M Jmaiel
2012 IEEE 36th annual computer software and applications conference …, 2012
542012
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions.
AJ Maâlej, M Lahami, M Krichen, M Jmaïel
ICEIS (2), 29-38, 2018
532018
Automated significant load testing for WS-BPEL compositions
AJ Maâlej, M Hamza, M Krichen, M Jmaiel
2013 IEEE sixth international conference on software testing, verification …, 2013
532013
Conformance testing of WS-BPEL compositions under various load conditions
AJ Maâlej, M Krichen, M Jmaiel
2012 IEEE 36th annual computer software and applications conference, 371-371, 2012
532012
A Comprehensive Review of Testing Blockchain Oriented Software.
M Lahami, AJ Maâlej, M Krichen, MA Hammami
ENASE 182, 355-362, 2022
252022
Study on the limitations of ws-bpel compositions under load conditions
AJ Maâlej, M Krichen
The Computer Journal 58 (3), 385-402, 2015
252015
Aspect-oriented checkpointing approach of composed web services
S Marzouk, AJ Maâlej, M Jmaiel
Current Trends in Web Engineering: 10th International Conference on Web …, 2010
212010
A comparative evaluation of state-of-the-art load and stress testing approaches
AJ Maâlej, M Krichen, M Jmaïel
International Journal of Computer Applications in Technology 51 (4), 283-293, 2015
192015
Periodic checkpointing for strong mobility of orchestrated web services
S Marzouk, AJ Maâlej, IB Rodriguez, M Jmaiel
2009 congress on services-i, 203-210, 2009
172009
Wsclt: a tool for ws-bpel compositions load testing
AJ Maâlej, M Hamza, M Krichen
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
132013
Conformance testing for quality assurance of clustering architectures
AJ Maâlej, ZB Makhlouf, M Krichen, M Jmaiel
Proceedings of the 2013 International Workshop on Quality Assurance for …, 2013
112013
A resource-aware model-based framework for load testing of ws-bpel compositions
M Krichen, AJ Maâlej, M Lahami, M Jmaiel
Enterprise Information Systems: 20th International Conference, ICEIS 2018 …, 2019
102019
Wscct: A tool for ws-bpel compositions conformance testing
AJ Maâlej, M Krichen, M Jmaïel
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1055-1061, 2013
82013
Towards a dynamic testing approach for checking the correctness of ethereum smart contracts
MA Hammami, M Lahami, AJ Maâlej
International Conference on Risks and Security of Internet and Systems, 85-100, 2022
52022
WSCLim: a tool for model-based testing of WS-BPEL compositions under load conditions
AJ Maâlej, M Krichen, M Jmaïel
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of …, 2017
52017
White-Box Mutation Testing of Smart Contracts: A Quick Review
A Jmal Maâlej, M Lahami
International Conference on Verification and Evaluation of Computer and …, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20