µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android.
Amit Seal AmiKaushal KafleAdwait NadkarniDenys PoshyvanykKevin MoranPublished in: ICSE (Companion Volume) (2021)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- symbolic execution
- malware detection
- genetic algorithm
- information security
- databases
- access control
- intrusion detection
- regular expressions
- security requirements
- abstract interpretation
- data sets
- malicious code
- fitness function
- evolutionary algorithm
- mobile devices
- case study
- artificial intelligence