Publications

MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem
Pagano F., Ceccato M., Merlo A., and Tonella P.
In: Proceedings of the 33^rd ACM International Conference on the Foundations of Software Engineering (pp. 1139–1142), ACM, 2025
DOI: 10.1145/3696630.3728597

RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools
Corradini D., Pasqua M., and Ceccato M.
In: Proceedings of the 18^th IEEE Conference on Software Testing, Verification and Validation (pp. 757-761), IEEE, 2025
DOI: 10.1109/ICST62969.2025.10988956

Mitigating Debugger-based Attacks to Java Applications with Self-debugging
Pizzalotto D., Berlato S., and Ceccato M.
In: Transactions on Software Engineering and Methodology (pp. 1-38), ACM, 2024
DOI: 10.1145/3631971

Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems
Pasqua M. and Miculan M.
In: Theoretical Computer Science (pp. 1-23), Elsevier, 2024
DOI: 10.1016/j.tcs.2024.114537

DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning
Corradini D., Montolli Z., Pasqua M., and Ceccato M.
In: Proceedings of the 39^th IEEE/ACM International Conference on Automated Software Engineering (pp. 1383-1394), ACM, 2024
DOI: 10.1145/3691620.3695511

Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
Pasqua M., Ceccato M., and Tonella, P.
In: Proceedings of the 46^th IEEE/ACM International Conference on Software Engineering (pp. 1409-1420), ACM, 2024
DOI: 10.1145/3597503.3640323

Experimental Comparison of Features, Analyses, and Classifiers for Android Malware Detection
Shar L.K., Demisse B.F., Ceccato M., Tun Y.N., Lo D., Jiang L., and Bienert C.
In: Empirical Software Engineering (pp. 1-40), Springer, 2023
DOI: 10.1007/s10664-023-10375-y

Enhancing REST API Testing with NLP Techniques
Kim M., Corradini D., Sinha S., Orso A., Pasqua M., Tzoref-Brill R., and Ceccato M.
In: Proceedings of the 32^nd ACM International Symposium on Software Testing and Analysis (pp. 1232–1243), ACM, 2023
DOI: 10.1145/3597926.3598131

Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
Pasqua M., Benini A., Contro F., Crosara M., Dalla Preda M., and Ceccato M.
In: Journal of Systems and Software (pp. 1-18), Elsevier, 2023
DOI: 10.1016/j.jss.2023.111653

Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs
Corradini D., Pasqua M., and Ceccato M.
In: Proceedings of the 45^th IEEE/ACM International Conference on Software Engineering (pp. 2553–2564), IEEE, 2023
DOI: 10.1109/ICSE48619.2023.00213

Assessing the Security of Inter-App Communications in Android Through Reinforcement Learning
Romdhana A., Merlo A., Ceccato M., and Tonella P.
In: Computers & Security (pp. 1-40), Elsevier, 2023
DOI: 10.1016/j.cose.2023.103311