| 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 | 67 | 2020 |
| 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 | 56 | 2018 |
| 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 | 56 | 2018 |
| A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. AJ Maâlej, M Krichen VECoS, 123-140, 2016 | 54 | 2016 |
| 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 | 54 | 2012 |
| 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 | 53 | 2018 |
| 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 | 53 | 2013 |
| 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 | 53 | 2012 |
| A Comprehensive Review of Testing Blockchain Oriented Software. M Lahami, AJ Maâlej, M Krichen, MA Hammami ENASE 182, 355-362, 2022 | 25 | 2022 |
| Study on the limitations of ws-bpel compositions under load conditions AJ Maâlej, M Krichen The Computer Journal 58 (3), 385-402, 2015 | 25 | 2015 |
| 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 | 21 | 2010 |
| 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 | 19 | 2015 |
| 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 | 17 | 2009 |
| 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 | 13 | 2013 |
| 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 | 11 | 2013 |
| 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 | 10 | 2019 |
| 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 | 8 | 2013 |
| 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 | 5 | 2022 |
| 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 | 5 | 2017 |
| 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 | 1 | 2023 |
