XIAODONG YI

Slicing Execution for Model Checking C Programs

XIAODONG YI, JI WANG, XUEJUN YANG, 2006, Int. J. Softw. Eng. Knowl. Eng..