Login / Signup

A comparison of the model-based & algebraic styles of specification as a basis for test specification.

Richard Denney
Published in: ACM SIGSOFT Softw. Eng. Notes (1996)
Keyphrases
  • high level
  • formal verification
  • real time
  • conceptual model
  • formal specification
  • image processing
  • similarity measure
  • data structure
  • data driven
  • test cases
  • formal language
  • test case generation