| Automated black‐box testing of nominal and error scenarios in RESTful APIs D Corradini, A Zampieri, M Pasqua, E Viglianisi, M Dallago, M Ceccato Software Testing, Verification and Reliability 32 (5), e1808, 2022 | 62 | 2022 |
| Enhancing rest api testing with nlp techniques M Kim, D Corradini, S Sinha, A Orso, M Pasqua, R Tzoref-Brill, M Ceccato Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 53 | 2023 |
| Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode M Pasqua, A Benini, F Contro, M Crosara, M Dalla Preda, M Ceccato Journal of Systems and Software 200, 111653, 2023 | 42 | 2023 |
| Restats: A test coverage tool for RESTful APIs D Corradini, A Zampieri, M Pasqua, M Ceccato 2021 IEEE International Conference on Software Maintenance and Evolution …, 2021 | 40 | 2021 |
| Empirical comparison of black-box test case generation tools for RESTful APIs D Corradini, A Zampieri, M Pasqua, M Ceccato 2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021 | 40 | 2021 |
| Verifying bounded subset-closed hyperproperties I Mastroeni, M Pasqua International Static Analysis Symposium, 263-283, 2018 | 29 | 2018 |
| Securing cross-app interactions in IoT platforms M Balliu, M Merro, M Pasqua 2019 IEEE 32nd computer security foundations symposium (CSF), 319-31915, 2019 | 27 | 2019 |
| Deeprest: Automated test case generation for rest apis exploiting deep reinforcement learning D Corradini, Z Montolli, M Pasqua, M Ceccato Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 26 | 2024 |
| Friendly fire: cross-app interactions in IoT platforms M Balliu, M Merro, M Pasqua, M Shcherbakov ACM Transactions on Privacy and Security (TOPS) 24 (3), 1-40, 2021 | 25 | 2021 |
| Automated black-box testing of mass assignment vulnerabilities in RESTful APIs D Corradini, M Pasqua, M Ceccato 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 24 | 2023 |
| Software watermarking: a semantics-based approach M Dalla Preda, M Pasqua Electronic Notes in Theoretical Computer Science 331, 71-85, 2017 | 22 | 2017 |
| Hyperhierarchy of semantics-a formal framework for hyperproperties verification I Mastroeni, M Pasqua International Static Analysis Symposium, 232-252, 2017 | 21 | 2017 |
| Resttestgen: An extensible framework for automated black-box testing of restful apis D Corradini, A Zampieri, M Pasqua, M Ceccato 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 19 | 2022 |
| Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference I Mastroeni, M Pasqua Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2215-2223, 2019 | 15 | 2019 |
| Domain precision in galois connection-less abstract interpretation I Mastroeni, M Pasqua International Static Analysis Symposium, 434-459, 2023 | 9 | 2023 |
| A calculus for attribute-based memory updates M Miculan, M Pasqua International Colloquium on Theoretical Aspects of Computing, 366-385, 2021 | 8 | 2021 |
| On topologies for (hyper) properties M Pasqua, I Mastroeni CEUR WORKSHOP PROCEEDINGS 1949, 150-161, 2017 | 8 | 2017 |
| Hyper static analysis of programs-an abstract interpretation-based framework for hyperproperties verification M Pasqua | 7 | 2019 |
| Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs. 2023 IEEE D Corradini, M Pasqua, M Ceccato ACM 45th International Conference on Software Engineering (ICSE), 2023 | 6 | 2023 |
| The AbU language: IoT distributed programming made easy M Pasqua, M Comuzzo, M Miculan IEEE Access 10, 132763-132776, 2022 | 6 | 2022 |
Davide CorradiniUniversity of LuxembourgVerified email at uni.lu
