Symbolic Execution Game Semantics.

Yu-Yang Lin Nikos Tzevelekos

Published in: FSCD (2020)

Keyphrases

symbolic execution
specification language
static analysis
test generation
test data generation
source code
programming language
computer games
data flow
description language
semantic information
formal specification
genetic algorithm
data sets
simulated annealing algorithm