A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution.

Endre Fülöp Norbert Pataki

Published in: Open Comput. Sci. (2021)

Keyphrases

symbolic execution
finite state automaton
static analysis
test generation
test data generation
source code
specification language
data flow
general purpose
training data
description language
query evaluation
orders of magnitude
test cases
programming language
software engineering
high level