BibTeX record journals/tcs/ArthoBGHKLPRSVW05

download as .bib file

@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},
  pages     = {209--234},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.11.007},
  doi       = {10.1016/j.tcs.2004.11.007},
  timestamp = {Sun, 28 May 2017 13:20:04 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/ArthoBGHKLPRSVW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics