@Inproceedings{EPTCS341.2, author = {Mastroeni, Isabella and Arceri, Vincenzo}, year = {2021}, title = {Improving Dynamic Code Analysis by Code Abstraction}, editor = {Lisitsa, Alexei and Nemytykh, Andrei P.}, booktitle = {{\rm Proceedings of the 9th International Workshop on} Verification and Program Transformation, {\rm Luxembourg, Luxembourg, 27th and 28th of March 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {341}, publisher = {Open Publishing Association}, pages = {17-32}, doi = {10.4204/EPTCS.341.2}, }