@article{DBLP:journals/tse/WangZSLYTQLZ23,
  author       = {Yang Wang and
                  Peng Zhang and
                  Maolin Sun and
                  Zeyu Lu and
                  Yibiao Yang and
                  Yutian Tang and
                  Junyan Qian and
                  Zhi Li and
                  Yuming Zhou},
  title        = {Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint
                  Solving},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {49},
  number       = {11},
  pages        = {4964--4987},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSE.2023.3321381},
  doi          = {10.1109/TSE.2023.3321381},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/WangZSLYTQLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"jCsQ4cvEPHQvLHqX8","bibbaseid":"wang-zhang-sun-lu-yang-tang-qian-li-etal-uncoveringbugsincodecoverageprofilersviacontrolflowconstraintsolving-2023","author_short":["Wang, Y.","Zhang, P.","Sun, M.","Lu, Z.","Yang, Y.","Tang, Y.","Qian, J.","Li, Z.","Zhou, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Yang"],"propositions":[],"lastnames":["Wang"],"suffixes":[]},{"firstnames":["Peng"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Maolin"],"propositions":[],"lastnames":["Sun"],"suffixes":[]},{"firstnames":["Zeyu"],"propositions":[],"lastnames":["Lu"],"suffixes":[]},{"firstnames":["Yibiao"],"propositions":[],"lastnames":["Yang"],"suffixes":[]},{"firstnames":["Yutian"],"propositions":[],"lastnames":["Tang"],"suffixes":[]},{"firstnames":["Junyan"],"propositions":[],"lastnames":["Qian"],"suffixes":[]},{"firstnames":["Zhi"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Yuming"],"propositions":[],"lastnames":["Zhou"],"suffixes":[]}],"title":"Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving","journal":"IEEE Trans. Software Eng.","volume":"49","number":"11","pages":"4964–4987","year":"2023","url":"https://doi.org/10.1109/TSE.2023.3321381","doi":"10.1109/TSE.2023.3321381","timestamp":"Sun, 10 Dec 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tse/WangZSLYTQLZ23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tse/WangZSLYTQLZ23,\n author = {Yang Wang and\n Peng Zhang and\n Maolin Sun and\n Zeyu Lu and\n Yibiao Yang and\n Yutian Tang and\n Junyan Qian and\n Zhi Li and\n Yuming Zhou},\n title = {Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint\n Solving},\n journal = {{IEEE} Trans. Software Eng.},\n volume = {49},\n number = {11},\n pages = {4964--4987},\n year = {2023},\n url = {https://doi.org/10.1109/TSE.2023.3321381},\n doi = {10.1109/TSE.2023.3321381},\n timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tse/WangZSLYTQLZ23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Wang, Y.","Zhang, P.","Sun, M.","Lu, Z.","Yang, Y.","Tang, Y.","Qian, J.","Li, Z.","Zhou, Y."],"key":"DBLP:journals/tse/WangZSLYTQLZ23","id":"DBLP:journals/tse/WangZSLYTQLZ23","bibbaseid":"wang-zhang-sun-lu-yang-tang-qian-li-etal-uncoveringbugsincodecoverageprofilersviacontrolflowconstraintsolving-2023","role":"author","urls":{"Paper":"https://doi.org/10.1109/TSE.2023.3321381"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"dblp.org/pid/120/1174.bib","dataSources":["SPQJMkeE7y9TwQQ5X","dyRRncYxyGvszTt7q"],"keywords":[],"search_terms":["uncovering","bugs","code","coverage","profilers","via","control","flow","constraint","solving","wang","zhang","sun","lu","yang","tang","qian","li","zhou"],"title":"Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving","year":2023}