BibTeX record conf/icsm/ZhangXZTHM10

download as .bib file

@inproceedings{DBLP:conf/icsm/ZhangXZTHM10,
  author       = {Lingming Zhang and
                  Tao Xie and
                  Lu Zhang and
                  Nikolai Tillmann and
                  Jonathan de Halleux and
                  Hong Mei},
  editor       = {Radu Marinescu and
                  Michele Lanza and
                  Andrian Marcus},
  title        = {Test generation via Dynamic Symbolic Execution for mutation testing},
  booktitle    = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
                  2010), September 12-18, 2010, Timisoara, Romania},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICSM.2010.5609672},
  doi          = {10.1109/ICSM.2010.5609672},
  timestamp    = {Tue, 09 May 2023 08:00:06 +0200},
  biburl       = {https://dblp.org/rec/conf/icsm/ZhangXZTHM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics