Michele Pasqua

38 papers A* 3A 5B 5C 3Misc 2Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation.
ACM Trans. Priv. Secur.
Isabella Mastroeni, Michele Pasqua
2026 B conf
Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations.
FoSSaCS
Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban
2025 J jnl
How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study.
CoRR
Gerardo Iuliano, Davide Corradini, Michele Pasqua, Mariano Ceccato, Dario Di Nucci
2025 A conf
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools.
ICST
Davide Corradini, Michele Pasqua, Mariano Ceccato
2024 J jnl
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems.
Theor. Comput. Sci.
Michele Pasqua, Marino Miculan
2024 A* conf
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning.
ASE
Davide Corradini, Zeno Montolli, Michele Pasqua, Mariano Ceccato
2024 J jnl
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning.
CoRR
Davide Corradini, Zeno Montolli, Michele Pasqua, Mariano Ceccato
2024 A* conf
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation.
ICSE
Michele Pasqua, Mariano Ceccato, Paolo Tonella
2024 — conf
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems.
ISoLA (2)
Michele Pasqua, Marino Miculan
2024 — ed.
Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024
NSAD@SAS
Vincenzo Arceri, Michele Pasqua
2023 J jnl
AbU: A calculus for distributed event-driven programming with attribute-based interaction.
Theor. Comput. Sci.
Michele Pasqua, Marino Miculan
2023 A* conf
Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs.
ICSE
Davide Corradini, Michele Pasqua, Mariano Ceccato
2023 J jnl
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs.
CoRR
Davide Corradini, Michele Pasqua, Mariano Ceccato
2023 B conf
Domain Precision in Galois Connection-Less Abstract Interpretation.
SAS
Isabella Mastroeni, Michele Pasqua
2023 J jnl
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode.
J. Syst. Softw.
Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
2023 A conf
Enhancing REST API Testing with NLP Techniques.
ISSTA
Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato
2022 J jnl
Automated black-box testing of nominal and error scenarios in RESTful APIs.
Softw. Test. Verification Reliab.
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato
2022 — conf
Distributed Programming of Smart Systems with Event-Condition-Action Rules.
ICTCS
Michele Pasqua, Marino Miculan
2022 C conf
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.
IECON
Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi
2022 A conf
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs.
ICSME
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
2022 J jnl
The AbU Language: IoT Distributed Programming Made Easy.
IEEE Access
Michele Pasqua, Massimo Comuzzo, Marino Miculan
2022 Misc conf
Verifying opacity by abstract interpretation.
SAC
Isabella Mastroeni, Michele Pasqua
2021 C conf
A Calculus for Attribute-Based Memory Updates.
ICTAC
Marino Miculan, Michele Pasqua
2021 C conf
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs.
SCAM
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
2021 J jnl
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs.
CoRR
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
2021 J jnl
Friendly Fire: Cross-app Interactions in IoT Platforms.
ACM Trans. Priv. Secur.
Musard Balliu, Massimo Merro, Michele Pasqua, Mikhail Shcherbakov
2021 B conf
On the Security and Safety of AbU Systems.
SEFM
Michele Pasqua, Marino Miculan
2021 A conf
Restats: A Test Coverage Tool for RESTful APIs.
ICSME
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
2021 J jnl
Restats: A Test Coverage Tool for RESTful APIs.
CoRR
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
2020 — conf
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.
FormaliSE@ICSE
Andrei Munteanu, Michele Pasqua, Massimo Merro
2019 — conf
An Abstract Domain for Objects in Dynamic Programming Languages.
FM Workshops (2)
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
2019 A conf
Securing Cross-App Interactions in IoT Platforms.
CSF
Musard Balliu, Massimo Merro, Michele Pasqua
2019 J jnl
Semantics-based software watermarking by abstract interpretation.
Math. Struct. Comput. Sci.
Mila Dalla Preda, Michele Pasqua
2019 Misc conf
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference.
SAC
Isabella Mastroeni, Michele Pasqua
2018 B conf
Verifying Bounded Subset-Closed Hyperproperties.
SAS
Isabella Mastroeni, Michele Pasqua
2017 B conf
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification.
SAS
Isabella Mastroeni, Michele Pasqua
2017 — conf
On Topologies for (Hyper)Properties.
ICTCS/CILC
Michele Pasqua, Isabella Mastroeni
2016 — conf
Software Watermarking: A Semantics-based Approach.
NSAD@SAS
Mila Dalla Preda, Michele Pasqua