Static Analysis

A3S3 - Automated Android Audit of Safety and Security Signals
A3S3 - Automated Android Audit of Safety and Security Signals

A3S3 poster presented at CAiSE ‘25

Jun 7, 2025
Effective and efficient API misuse detection via exception propagation and search-based testing
Effective and efficient API misuse detection via exception propagation and search-based testing

Jan 1, 2019