Automatic Testing from Formal Specifications (Q5423865)
From MaRDI portal
scientific article; zbMATH DE number 5207434
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic Testing from Formal Specifications |
scientific article; zbMATH DE number 5207434 |
Statements
Automatic Testing from Formal Specifications (English)
0 references
31 October 2007
0 references
model based testing
0 references
B-method
0 references
non-determinism
0 references
