Login / Signup
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines.
Frédéric Dadeau
Régis Tissot
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
software tools
high level
test cases
tool support
neural network
learning algorithm
feature selection
database systems
evolutionary algorithm
virtual environment
complex systems
test data
symbolic representation