Baldoni, Roberto
Sapienza University of Rome
2 papers on CoChatORCID 0000-0002-2097-0093
Most cited papers
- Verified
A survey of symbolic execution techniques
Baldoni, R., Coppa, E., D’elia, D. C., Demetrescu, C., & Finocchi, I. (2019) · ACM Computing Surveys
Software Testing and Debugging TechniquesFormal Methods in Verification
Cited by 708
- Verified
Adaptive online scheduling in storm
Aniello, L., Baldoni, R., & Querzoni, L. (2013) · Proceedings of the 7th ACM international conference on Distributed event-based systems
Cloud Computing and Resource ManagementAdvanced Database Systems and Queries
Cited by 245
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free