Leveraging Static Analysis: An IDE for RTLola.

Bernd Finkbeiner Florian Kohn Malte Schledjewski

Published in: CoRR (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
abstract interpretation
malicious code
java card
test suite
test generation
artificial intelligence
pattern matching
decision trees
databases
database design
data sets
domain specific
data mining