Login / Signup
Testing from Structured Algebraic Specifications: The Veritas Case Study.
Patrícia D. L. Machado
Elthon A. S. Oliveira
Paulo E. S. Barbosa
Cássio L. Rodrigues
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
case study
real world
structured data
higher order
delay insensitive
high level
test generation
data sets
learning algorithm
software development
code generation
data structure
software engineering
test cases
lessons learned
development process