2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Ştefan-Claudiu Susan, Andrei Arusoaie
This paper serves as a progress report on our research, specifically focusing on utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in s…