1001 search results - page 7 / 201 » Testing Formal Dialectic |
FORTEST
2008
13 years 9 months ago
2008
ZUM
2005
Springer
14 years 1 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
FM
2005
Springer
14 years 1 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
JIPS
2010
13 years 2 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
FM
2005
Springer
14 years 1 months ago
2005
Springer