Static Analysis
Compliance

A3S3 - Automated Android Audit of Safety and Security Signals

A3S3 poster presented at CAiSE ‘25

Guillaume Nguyen
•
Read more
API Misuse

Effective and efficient API misuse detection via exception propagation and search-based testing

Maria Kechagia
•
Read more