1 paper · 2 filters
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Academic research in static analysis produces software implementations. These implementations are time-consuming to develop and some need to be maintained in order to enable buildi…