default search action
Search dblp for Publications
export results for "MC/DC coverage-oriented compiler optimization for symbolic execution."
@article{DBLP:journals/jzusc/HongLCDW20, author = {Weijiang Hong and Yijun Liu and Zhenbang Chen and Wei Dong and Ji Wang}, title = {Modified condition/decision coverage {(MC/DC)} oriented compiler optimization for symbolic execution}, journal = {Frontiers Inf. Technol. Electron. Eng.}, volume = {21}, number = {9}, pages = {1267--1284}, year = {2020}, url = {https://doi.org/10.1631/FITEE.1900213}, doi = {10.1631/FITEE.1900213}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jzusc/HongLCDW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LiuC0F18, author = {Yijun Liu and Zhenbang Chen and Wei Dong and Chendong Feng}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {{MC/DC} coverage-oriented compiler optimization for symbolic execution}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {214--215}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3183440.3195102}, doi = {10.1145/3183440.3195102}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/LiuC0F18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.