Testing from Structured Algebraic Specifications.

Patrícia D. L. Machado

Published in: AMAST (2000)

Keyphrases

case study
test set
real world
structured data
decision trees
video sequences
xml documents
software engineering
delay insensitive
unit testing