Full contract verification for ATL using symbolic execution.

Bentley James Oakes Javier Troya Levi Lúcio Manuel Wimmer

Published in: Softw. Syst. Model. (2018)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
multi agent systems
source code
model checking
data flow
test cases
alternating time temporal logic
temporal logic
database
query language
neural network
databases
data sets