search author

DBLP BibTeX Record 'conf/tap/ThummalapentaHTW10'

@inproceedings{DBLP:conf/tap/ThummalapentaHTW10,
  author    = {Suresh Thummalapenta and
               Jonathan de Halleux and
               Nikolai Tillmann and
               Scott Wadsworth},
  title     = {DyGen: Automatic Generation of High-Coverage Tests via Mining
               Gigabytes of Dynamic Traces},
  booktitle = {TAP},
  year      = {2010},
  pages     = {77-93},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13977-2_8},
  crossref  = {DBLP:conf/tap/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tap/2010,
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Tests and Proofs, 4th International Conference, TAP 2010,
               M{\'a}laga, Spain, July 1-2, 2010. Proceedings},
  booktitle = {TAP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  year      = {2010},
  isbn      = {978-3-642-13976-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13977-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}