Symbolic Execution Game Semantics.

Yu-Yang Lin Nikos Tzevelekos

Published in: CoRR (2020)

Keyphrases

symbolic execution
specification language
test generation
static analysis
test data generation
source code
formal specification
programming language
semantic information
computer games
description language
data sets
test cases