jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
| Autor: | Dadeau, Frédéric, Tissot, Régis |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 17 October 2009 253(2):117-132 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect