Scholar
Miguel E. Andres
Google Scholar ID: PZvTL7sAAAAJ
Google Inc, Ecole Polytechnique, Radboud University
Technology
Programming
Security
Formal Verification.
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,861
H-index
13
i10-index
14
Publications
20
Co-authors
8
list available
Publications
1 items
Testing the Testers: Human-Driven Quality Assessment of Voice AI Testing Platforms
2025
Cited
0
Co-authors
3 total
Catuscia Palamidessi
Inria
Ana Sokolova
Professor at University of Salzburg
Pedro R. D'Argenio
FAMAF, Universidad Nacional de Córdoba - CONICET
