Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines.

Giuseppe Del Castillo

Published in: ABZ (2024)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
test cases
database
real world
case study
query language
data sets
general purpose
convergence speed
description language