Login / Signup

A Framework for Testing Object-Oriented Software Using Formal Specifications.

Rohan FletcherA. S. M. Sajeev
Published in: Ada-Europe (1996)
Keyphrases
  • object oriented software
  • design patterns
  • formal specification
  • database
  • data flow
  • object oriented
  • regression testing
  • machine learning
  • case study
  • query language
  • test cases
  • reverse engineering