BibTeX record conf/issta/ZhangYRPK14

download as .bib file

@inproceedings{DBLP:conf/issta/ZhangYRPK14,
  author       = {Lingming Zhang and
                  Guowei Yang and
                  Neha Rungta and
                  Suzette Person and
                  Sarfraz Khurshid},
  editor       = {Corina S. Pasareanu and
                  Darko Marinov},
  title        = {Feedback-driven dynamic invariant discovery},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  pages        = {362--372},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2610384.2610389},
  doi          = {10.1145/2610384.2610389},
  timestamp    = {Wed, 15 Mar 2023 17:30:40 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangYRPK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics