Login / Signup

jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines.

Frédéric DadeauRé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