DBLP Record 'journals/tcs/ArthoBGHKLPRSVW05'

BibTeX

@article{DBLP:journals/tcs/ArthoBGHKLPRSVW05,
  author    = {Cyrille Artho and
               Howard Barringer and
               Allen Goldberg and
               Klaus Havelund and
               Sarfraz Khurshid and
               Michael R. Lowry and
               Corina S. Pasareanu and
               Grigore Rosu and
               Koushik Sen and
               Willem Visser and
               Richard Washington},
  title     = {Combining test case generation and runtime verification},
  journal   = {Theor. Comput. Sci.},
  volume    = {336},
  number    = {2-3},
  year      = {2005},
  pages     = {209-234},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.11.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}