9 citations · 20 across the 17 of their papers we have counts for
1 paper · 1 filter
Daniela Ferreiro, Ignacio Casso, Jose F. Morales +2
Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-pron…