Visualizing errors in object oriented programs.

Hani Z. Girgis Bharat Jayaraman Paul V. Gestwicki

Published in: OOPSLA Companion (2005)

Keyphrases

object oriented programs
specification languages
integration testing
impact analysis
object oriented
formal specification
expert systems
black box
database
machine learning
knowledge base
knowledge representation
life cycle