BeckmanNRSTT10'

@article{DBLP:journals/tse/BeckmanNRSTT10,
  author    = {Nels E. Beckman and
               Aditya V. Nori and
               Sriram K. Rajamani and
               Robert J. Simmons and
               SaiDeep Tetali and
               Aditya V. Thakur},
  title     = {Proofs from Tests},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {36},
  number    = {4},
  year      = {2010},
  pages     = {495-508},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.49},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}