Login / Signup

Automated generation of directed tests for transition coverage in cache coherence protocols.

Xiaoke QinPrabhat Mishra
Published in: DATE (2012)
Keyphrases
  • website
  • test suite
  • semi automated
  • fully automated
  • generation process
  • automated analysis
  • test cases
  • data sets
  • databases
  • relational databases
  • computer assisted
  • context sensitive
  • communication protocol
  • code coverage