Test-design through abstraction: A systematic approach based on the refinement calculus (Q2755069)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Test-design through abstraction: A systematic approach based on the refinement calculus |
scientific article; zbMATH DE number 1668947
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Test-design through abstraction: A systematic approach based on the refinement calculus |
scientific article; zbMATH DE number 1668947 |
Statements
7 January 2002
0 references
testing
0 references
test-case generation
0 references
formal methods
0 references
0 references
0.8768548
0 references
0.8646716
0 references
0 references
Test-design through abstraction: A systematic approach based on the refinement calculus (English)
0 references
