13 citations · 26 across the 6 of their papers we have counts for
1 paper · 1 filter
Isabella Mastroeni, Vincenzo Arceri
In this paper, our aim is to propose a model for code abstraction, based on abstract interpretation, allowing us to improve the precision of a recently proposed static analysis by…