Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems.

Published in: FME (2003)

Keyphrases

space exploration
object oriented systems
state space
object oriented
object oriented design
high level
source code
input output
software maintenance
databases
neural network
artificial intelligence
database systems
dynamic programming
open source
simulated annealing