@inproceedings{BBS06,
  author      = {E.~Brinksma and 
                 L.~Brand{\'a}n~Briones and
                 M.I.A.~Stoelinga},
  title       = {A Semantic Framework for Test Coverage},
  year        = {2006},
  booktitle   = {Proceedings of the fourth international symposium on 
                 Automated Technology for Verification and Analysis
                 (ATVA'06)},
  editor      = {S. Graf and W. Zhang},
  publisher   = {Springer},
  series      = {LNCS}
}