AronsEMS06'

BibTeX

@inproceedings{DBLP:conf/mtv/AronsEMS06,
  author    = {Tamarah Arons and
               Elad Elster and
               Terry Murphy and
               Eli Singerman},
  title     = {Embedded Software Validation: Applying Formal Techniques
               for Coverage and Test Generation},
  booktitle = {MTV},
  year      = {2006},
  pages     = {45-51},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MTV.2006.11},
  crossref  = {DBLP:conf/mtv/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mtv/2006,
  editor    = {Magdy S. Abadir and
               Li-C. Wang and
               Jayanta Bhadra},
  title     = {Seventh International Workshop on Microprocessor Test and
               Verification (MTV 2006), Common Challenges and Solutions,
               4-5 December 2006, Austin, Texas, USA},
  booktitle = {MTV},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {978-0-7695-2839-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}