BibTeX record conf/icst/ConverseOK17

download as .bib file

@inproceedings{DBLP:conf/icst/ConverseOK17,
  author    = {Hayes Converse and
               Oswaldo Olivo and
               Sarfraz Khurshid},
  title     = {Non-Semantics-Preserving Transformations for Higher-Coverage Test
               Generation Using Symbolic Execution},
  booktitle = {{ICST}},
  pages     = {241--252},
  publisher = {{IEEE} Computer Society},
  year      = {2017}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics