Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Slicing Execution with Partial Weakest Precondition for Model Abstraction of C ProgramsXuejun Yang, Ji Wang, Xiaodong Yi. cj, 53(1):37-49, 2010. [doi] Slicing Execution for Model Checking C ProgramsXiaodong Yi, Ji Wang, Xuejun Yang. ijseke, 16(5):747-768, 2006. [doi]
The following publications are possibly variants of this publication: