PASQUA, MICHELE
PASQUA, MICHELE
DIPARTIMENTO DI INFORMATICA
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, M.; Pasqua, M.
An abstract domain for objects in dynamic programming languages
2020-01-01 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs
2023-01-01 Corradini, Davide; Pasqua, Michele; Ceccato, Mariano
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper)
2022-01-01 Miculan, Marino; Pasqua, Michele
Domain Precision in Galois Connection-Less Abstract Interpretation
2023-01-01 Mastroeni, Isabella; Pasqua, Michele
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs
2021-01-01 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
Enhancing REST API Testing with NLP Techniques
2023-01-01 Kim, Myeongsoo; Corradini, Davide; Sinha, Saurabh; Orso, Alessandro; Pasqua, Michele; Tzoref-Brill, Rachel; Ceccato, Mariano
Friendly Fire: Cross-App Interactions in IoT Platforms
2020-01-01 Balliu, Musard; Merro, Massimo; Pasqua, Michele
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification
2017-01-01 Mastroeni, Isabella; Pasqua, Michele
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
2024-01-01 Pasqua, Michele; Ceccato, Mariano; Tonella, Paolo
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
2020-01-01 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Pasqua, Michele; Ceccato, Mariano; Fummi, Franco
On the Security and Safety of AbU Systems
2021-01-01 Pasqua, M; Miculan, M
On topologies for (hyper)properties
2017-01-01 Pasqua, M.; Mastroeni, I.
Restats: A Test Coverage Tool for RESTful APIs
2021-01-01 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs
2022-01-01 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
Securing Cross-App Interactions in IoT Platforms
2019-01-01 Balliu, Musard; Merro, Massimo; Pasqua, Michele
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference.
2019-01-01 Mastroeni, Isabella; Pasqua, Michele
Verifying Bounded Subset-Closed Hyperproperties
2018-01-01 Mastroeni, Isabella; Pasqua, Michele
Verifying Opacity by Abstract Interpretation
2022-01-01 Mastroeni, Isabella; Pasqua, Michele