Michele Pasqua

Michele Pasqua

Università degli Studi di Verona - Verona / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 6004073
University of Verona
person_outline Michele Pasqua's MOST POPULAR ARTICLES
1-) Automated black‐box testing of nominal and error scenarios in RESTful APIsD Corradini, A Zampieri, M Pasqua, E Viglianisi, M Dallago, M CeccatoSoftware Testing, Verification and Reliability 32 (5), e1808, 2022362022
2-) Empirical comparison of black-box test case generation tools for RESTful APIsD Corradini, A Zampieri, M Pasqua, M Ceccato2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021322021
3-) Securing cross-app interactions in IoT platformsM Balliu, M Merro, M Pasqua2019 IEEE 32nd computer security foundations symposium (CSF), 319-31915, 2019252019
4-) Verifying bounded subset-closed hyperpropertiesI Mastroeni, M PasquaStatic Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018242018
5-) Restats: A test coverage tool for RESTful APIsD Corradini, A Zampieri, M Pasqua, M Ceccato2021 IEEE International Conference on Software Maintenance and Evolution …, 2021232021