BibTeX record journals/tcs/ArthoBGHKLPRSVW05

• > Home > journals/tcs/ArthoBGHKLPRSVW05

@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    = {Wed, 17 Feb 2021 21:57:12 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}