| 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 | 29 | 2022 |
| 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 | 28 | 2021 |
| Securing cross-app interactions in IoT platforms M Balliu, M Merro, M Pasqua 2019 IEEE 32nd computer security foundations symposium (CSF), 319-31915, 2019 | 24 | 2019 |
| Verifying bounded subset-closed hyperproperties I Mastroeni, M Pasqua Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 22 | 2018 |
| 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 | 20 | 2021 |
| Software watermarking: a semantics-based approach M Dalla Preda, M Pasqua Electronic Notes in Theoretical Computer Science 331, 71-85, 2017 | 20 | 2017 |
| 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 | 19 | 2021 |
| Hyperhierarchy of semantics-a formal framework for hyperproperties verification I Mastroeni, M Pasqua Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 15 | 2017 |
| 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 | 10 | 2019 |
| A calculus for attribute-based memory updates M Miculan, M Pasqua Theoretical Aspects of Computing–ICTAC 2021: 18th International Colloquium …, 2021 | 8 | 2021 |
| On topologies for (hyper) properties M Pasqua, I Mastroeni CEUR WORKSHOP PROCEEDINGS 1949, 150-161, 2017 | 7 | 2017 |
| 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 | 5 | 2023 |
| 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 | 5 | 2022 |
| 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 | 4 | 2023 |
| Impact analysis of cyber-physical attacks on a water tank system via statistical model checking A Munteanu, M Pasqua, M Merro Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 4 | 2020 |
| 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 | 3 | 2023 |
| The abu language: Iot distributed programming made easy M Pasqua, M Comuzzo, M Miculan IEEE Access 10, 132763-132776, 2022 | 3 | 2022 |
| On the security and safety of AbU systems M Pasqua, M Miculan Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 3 | 2021 |
| Hyper static analysis of programs-an abstract interpretation-based framework for hyperproperties verification M Pasqua | 3 | 2019 |
| Verifying opacity by abstract interpretation I Mastroeni, M Pasqua Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1817-1826, 2022 | 2 | 2022 |
mariano ceccatoUniversity of VeronaVerifisert e-postadresse på univr.it
