Testing and Verifying Invariant Based Programs in the SOCOS Environment.

Ralph-Johan Back Johannes Eriksson Magnus Myreen

Published in: TAP (2007)

Keyphrases

programming environment
mobile robot
real time
complex environments
database
symbolic execution
simulation environment
autonomous agents
test data
model checking
virtual world
dynamic environments
face recognition
database systems
e learning
machine learning
neural network