Xiaodong Yi Ji Wang Xuejun Yang Slicing Execution for Model Checking C Programs. 747-768 2006 16 International Journal of Software Engineering and Knowledge Engineering 5 http://dx.doi.org/10.1142/S0218194006002987 db/journals/ijseke/ijseke16.html#YiWY06