Finite complete suites for CSP refinement testing
|
Art |
|
Zeitschriftenaufsatz |
|
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
|
Art |
Autor/en | Felix Hübner, Wen-ling Huang, and Jan Peleska | Jahr | 2019 | In | Software and System Modeling | Jahrgang | 18 | Heft | 1 | Seiten | 423-443 | Doi | https://doi.org/10.1007/s10270-017-0595-8 | Link zu Volltext | https://doi.org/10.1007/s10270-017-0595-8 |
|
Zeitschriftenaufsatz |
|
Complete model-based equivalence class testing for nondeterministic systems
|
Art |
|
Zeitschriftenaufsatz |
|
Complete model-based equivalence class testing.
|
Art |
|
Zeitschriftenaufsatz |
|
Formal Development and Verification of a Distributed Railway Control System
|
Art |
|
Zeitschriftenaufsatz |
|