Finite complete suites for CSP refinement testing
|
Type |
|
Article |
|
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
|
Type |
Author(s) | Felix Hübner, Wen-ling Huang, and Jan Peleska | Year | 2019 | In | Software and System Modeling | Year | 18 | Issue | 1 | Pages | 423-443 | Doi | https://doi.org/10.1007/s10270-017-0595-8 | Link zu Volltext | https://doi.org/10.1007/s10270-017-0595-8 |
|
Article |
|
Complete model-based equivalence class testing for nondeterministic systems
|
Type |
|
Article |
|
Complete model-based equivalence class testing.
|
Type |
|
Article |
|
Formal Development and Verification of a Distributed Railway Control System
|
Type |
|
Article |
|