Login / Signup

Supporting testing of specifications and implementations.

Jari ArkkoVesa HirvisaloJuha KuuselaEsko Nuutila
Published in: Microprocessing and Microprogramming (1990)
Keyphrases
  • high level
  • data sets
  • real world
  • test data
  • software testing
  • specification language
  • real time
  • hidden markov models
  • source code
  • test cases
  • formal specification
  • control flow
  • code generation
  • unit testing