Checking Contact Tracing App Implementations with Bespoke Static Analysis.

Robert Flood Sheung Chi Chan Wei Chen David Aspinall

Published in: SN Comput. Sci. (2022)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
mobile applications
regular expressions
test suite
java card
abstract interpretation
user experience
api calls
test case generation
learning algorithm
high level