Static Analysis of Life and Death in the Game of Go.

Ken Chen Zhixing Chen

Published in: Inf. Sci. (1999)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
video games
malicious code
abstract interpretation
game playing
computer games
game theory
regular expressions
java card
game play
early detection
nash equilibrium
game theoretic
test generation
serious games
educational games
case study