@article{DBLP:journals/tse/WangZSLYTQLZ24,
  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        = {Corrections to "Uncovering Bugs in Code Coverage Profilers via Control
                  Flow Constraint Solving"},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {50},
  number       = {1},
  pages        = {158},
  year         = {2024},
  url          = {https://doi.org/10.1109/TSE.2023.3339345},
  doi          = {10.1109/TSE.2023.3339345},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/WangZSLYTQLZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"54QZtWPxhmYK3Haa8","bibbaseid":"wang-zhang-sun-lu-yang-tang-qian-li-etal-correctionstouncoveringbugsincodecoverageprofilersviacontrolflowconstraintsolving-2024","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":"Corrections to \"Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving\"","journal":"IEEE Trans. Software Eng.","volume":"50","number":"1","pages":"158","year":"2024","url":"https://doi.org/10.1109/TSE.2023.3339345","doi":"10.1109/TSE.2023.3339345","timestamp":"Mon, 05 Feb 2024 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tse/WangZSLYTQLZ24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tse/WangZSLYTQLZ24,\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 = {Corrections to \"Uncovering Bugs in Code Coverage Profilers via Control\n Flow Constraint Solving\"},\n journal = {{IEEE} Trans. Software Eng.},\n volume = {50},\n number = {1},\n pages = {158},\n year = {2024},\n url = {https://doi.org/10.1109/TSE.2023.3339345},\n doi = {10.1109/TSE.2023.3339345},\n timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tse/WangZSLYTQLZ24.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/WangZSLYTQLZ24","id":"DBLP:journals/tse/WangZSLYTQLZ24","bibbaseid":"wang-zhang-sun-lu-yang-tang-qian-li-etal-correctionstouncoveringbugsincodecoverageprofilersviacontrolflowconstraintsolving-2024","role":"author","urls":{"Paper":"https://doi.org/10.1109/TSE.2023.3339345"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"dblp.org/pid/120/1174.bib","dataSources":["dyRRncYxyGvszTt7q","SPQJMkeE7y9TwQQ5X"],"keywords":[],"search_terms":["corrections","uncovering","bugs","code","coverage","profilers","via","control","flow","constraint","solving","wang","zhang","sun","lu","yang","tang","qian","li","zhou"],"title":"Corrections to \"Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving\"","year":2024}