| 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 | 62 | 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 | 54 | 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 | 54 | 2018 |
| A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. AJ Maâlej, M Krichen VECoS, 123-140, 2016 | 53 | 2016 |
| 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 | 52 | 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 | 52 | 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 | 52 | 2012 |
| 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 | 52 | 2012 |
| Study on the limitations of ws-bpel compositions under load conditions AJ Maâlej, M Krichen The Computer Journal 58 (3), 385-402, 2015 | 24 | 2015 |
| A Comprehensive Review of Testing Blockchain Oriented Software. M Lahami, AJ Maâlej, M Krichen, MA Hammami ENASE 182, 355-362, 2022 | 21 | 2022 |
| 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 |
| 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 |
| 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 | 16 | 2015 |
| 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 | 12 | 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 | 9 | 2019 |
| 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 | 9 | 2013 |
| 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 | 7 | 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 | 4 | 2017 |
| ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, BP 1173, 3038 Sfax, Tunisia {afef. jmal, mariam. lahami}@ redcad. org AJ Maâlej Verification and Evaluation of Computer and Communication Systems: 16th …, 2023 | | 2023 |
