ProTest: An Automatic Test Environment for B Specifications.

Manoranjan Satpathy Michael Leuschel Michael J. Butler

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

real time
dynamic environments
databases
information systems
reactive systems
mobile robotics
simulation environment
mobile robot
computer vision
high level
vision system
data driven
test cases
test data
learning algorithm
genetic algorithm
operational semantics
neural network