Michele Pasqua

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 28

Top Topics

Abstract Interpretation

Test Case Generation

Top Venues

Publications

Davide Corradini, Michele Pasqua, Mariano Ceccato
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs. CoRR (2023)
Michele Pasqua, Marino Miculan
AbU: A calculus for distributed event-driven programming with attribute-based interaction. Theor. Comput. Sci. 958 (2023)
Davide Corradini, Michele Pasqua, Mariano Ceccato
Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs. ICSE (2023)
Isabella Mastroeni, Michele Pasqua
Domain Precision in Galois Connection-Less Abstract Interpretation. SAS (2023)
Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. J. Syst. Softw. 200 (2023)
Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato
Enhancing REST API Testing with NLP Techniques. ISSTA (2023)
Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. IECON (2022)
Michele Pasqua, Marino Miculan
Distributed Programming of Smart Systems with Event-Condition-Action Rules. ICTCS (2022)
Isabella Mastroeni, Michele Pasqua
Verifying opacity by abstract interpretation. SAC (2022)
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs. ICSME (2022)
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato
Automated black-box testing of nominal and error scenarios in RESTful APIs. Softw. Test. Verification Reliab. 32 (5) (2022)
Michele Pasqua, Massimo Comuzzo, Marino Miculan
The AbU Language: IoT Distributed Programming Made Easy. IEEE Access 10 (2022)
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
Restats: A Test Coverage Tool for RESTful APIs. ICSME (2021)
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs. SCAM (2021)
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs. CoRR (2021)
Michele Pasqua, Marino Miculan
On the Security and Safety of AbU Systems. SEFM (2021)
Marino Miculan, Michele Pasqua
A Calculus for Attribute-Based Memory Updates. ICTAC (2021)
Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
Restats: A Test Coverage Tool for RESTful APIs. CoRR (2021)
Musard Balliu, Massimo Merro, Michele Pasqua, Mikhail Shcherbakov
Friendly Fire: Cross-app Interactions in IoT Platforms. ACM Trans. Priv. Secur. 24 (3) (2021)
Andrei Munteanu, Michele Pasqua, Massimo Merro
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. FormaliSE@ICSE (2020)
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) (2019)
Isabella Mastroeni, Michele Pasqua
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. SAC (2019)
Musard Balliu, Massimo Merro, Michele Pasqua
Securing Cross-App Interactions in IoT Platforms. CSF (2019)
Mila Dalla Preda, Michele Pasqua
Semantics-based software watermarking by abstract interpretation. Math. Struct. Comput. Sci. 29 (2) (2019)
Isabella Mastroeni, Michele Pasqua
Verifying Bounded Subset-Closed Hyperproperties. SAS (2018)
Mila Dalla Preda, Michele Pasqua
Software Watermarking: A Semantics-based Approach. Electron. Notes Theor. Comput. Sci. 331 (2017)
Michele Pasqua, Isabella Mastroeni
On Topologies for (Hyper)Properties. ICTCS/CILC (2017)
Isabella Mastroeni, Michele Pasqua
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. SAS (2017)