Login / Signup

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.

Maximiliano CristiáPablo AlbertengoPablo Rodríguez Monetti
Published in: SEFM (2010)
Keyphrases
  • main contribution
  • theoretical framework
  • search algorithm
  • lightweight
  • databases
  • information retrieval
  • knowledge base
  • decision trees
  • matching algorithm