Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.

Xianghua Deng Jooyong Lee Robby

Published in: ASE (2006)

Keyphrases

open systems
symbolic execution
autonomous agents
test data generation
source code
multiagent systems
static analysis
test generation
genetic algorithm
artificial intelligence
reinforcement learning
specification language