Xiaodong Yi, Ji Wang, Xuejun Yang. Verification of C Programs using Slicing Execution. In 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA. pages 109-116, IEEE Computer Society, 2005. [doi]
@inproceedings{YiWY05,
title = {Verification of C Programs using Slicing Execution},
author = {Xiaodong Yi and Ji Wang and Xuejun Yang},
year = {2005},
doi = {10.1109/QSIC.2005.72},
url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.72},
tags = {program verification, slicing, C++},
researchr = {https://researchr.org/publication/YiWY05},
cites = {0},
citedby = {0},
pages = {109-116},
booktitle = {2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2399-4},
}