Lightweight Syntactic API Usage Analysis with UCov. - Gustave Monce; Thomas Couturou; Yasmine Hamdaoui; Thomas Degueule; Jean-Rémy Falleri (ICPC, 2024)