Michele Pasqua

According to our database, Michele Pasqua authored at least 29 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems.

Michele Pasqua, Marino Miculan

Theor. Comput. Sci., 2024

DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning.

Davide Corradini, Zeno Montolli, Michele Pasqua, Mariano Ceccato

CoRR, 2024

Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems.

Michele Pasqua, Marino Miculan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Hypertesting of Programs: Theoretical Foundation and Automated Test Generation.

Michele Pasqua, Mariano Ceccato, Paolo Tonella

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode.

Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato

J. Syst. Softw., June, 2023

AbU: A calculus for distributed event-driven programming with attribute-based interaction.

Michele Pasqua, Marino Miculan

Theor. Comput. Sci., May, 2023

Domain Precision in Galois Connection-Less Abstract Interpretation.

Isabella Mastroeni, Michele Pasqua

Proceedings of the Static Analysis - 30th International Symposium, 2023

Enhancing REST API Testing with NLP Techniques.

Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs.

Davide Corradini, Michele Pasqua, Mariano Ceccato

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Automated black-box testing of nominal and error scenarios in RESTful APIs.

Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato

Softw. Test. Verification Reliab., 2022

The AbU Language: IoT Distributed Programming Made Easy.

Michele Pasqua, Massimo Comuzzo, Marino Miculan

IEEE Access, 2022

Verifying opacity by abstract interpretation.

Isabella Mastroeni, Michele Pasqua

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.

Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi

Proceedings of the IECON 2022, 2022

Distributed Programming of Smart Systems with Event-Condition-Action Rules.

Michele Pasqua, Marino Miculan

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs.

Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

Friendly Fire: Cross-app Interactions in IoT Platforms.

Musard Balliu, Massimo Merro, Michele Pasqua, Mikhail Shcherbakov

ACM Trans. Priv. Secur., 2021

On the Security and Safety of AbU Systems.

Michele Pasqua, Marino Miculan

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs.

Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

A Calculus for Attribute-Based Memory Updates.

Marino Miculan, Michele Pasqua

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Restats: A Test Coverage Tool for RESTful APIs.

Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

2020

Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.

Andrei Munteanu, Michele Pasqua, Massimo Merro

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Semantics-based software watermarking by abstract interpretation.

Mila Dalla Preda, Michele Pasqua

Math. Struct. Comput. Sci., 2019

Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference.

Isabella Mastroeni, Michele Pasqua

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

An Abstract Domain for Objects in Dynamic Programming Languages.

Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Securing Cross-App Interactions in IoT Platforms.

Musard Balliu, Massimo Merro, Michele Pasqua

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Verifying Bounded Subset-Closed Hyperproperties.

Isabella Mastroeni, Michele Pasqua

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification.

Isabella Mastroeni, Michele Pasqua

Proceedings of the Static Analysis - 24th International Symposium, 2017

On Topologies for (Hyper)Properties.

Michele Pasqua, Isabella Mastroeni

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Software Watermarking: A Semantics-based Approach.

Mila Dalla Preda, Michele Pasqua

Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016