- Record: found
- Abstract: not found
- Book Chapter: not found
FME 2003: Formal Methods
Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references14
- Record: found
- Abstract: not found
- Book Chapter: not found
Automating the generation and sequencing of test cases from model-based specifications
Jeremy P.R. Dick, Alain Faivre (1993)
- Record: found
- Abstract: not found
- Article: not found
Software testing based on formal specifications: a theory and a tool
Gilles Bernot, Marie Claude Gaudel, Bruno Marre (1991)