Modelling Android applications through static analysis and systematic exploratory testing.

Jordan Doyle Thomas Laurent Anthony Ventresque

Published in: DSA (2023)

Keyphrases

static analysis
symbolic execution
dynamic analysis
test generation
test suite
source code
test case generation
malicious code
test cases
regular expressions
java card
abstract interpretation
reverse engineering
test set
software testing
pattern matching
databases