From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria (Q2432226)
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: From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria |
scientific article; zbMATH DE number 5067130
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria |
scientific article; zbMATH DE number 5067130 |
Statements
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria (English)
0 references
25 October 2006
0 references
software testing criteria
0 references
MC/DC
0 references
RC/DC
0 references
formal methods
0 references
Z notation
0 references
0.71394282579422
0 references
0.6866586208343506
0 references