Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Published in: SAS (2023)

Keyphrases

international symposium
static analysis
lecture notes
computer science
revised papers
dynamic analysis
source code
symbolic execution
java card
abstract interpretation
test suite
regular expressions
lecture notes in artificial intelligence
artificial intelligence
ambient intelligence
databases