When Model-based Testing Fails
Under a Creative Commons license
open access
Keywords
formal methods
specification-based testing
test case generation
philosophy of science
confirmation of theories
hypothetico-deductive confirmation
bootstrap confirmation
algebraic specifications
refinement
Cited by (0)
Copyright © 2006 Elsevier B.V.