Test Sequence Generation from Combining Property Modeling and Program Slicing. - Hua Li; Yong-guang Peng; Xinming Ye; Jing-yuan Yue (COMPSAC Workshops, 2010)