Test Sequence Generation from Combining Property Modeling and Program Slicing.

Hua Li, Yong-guang Peng, Xinming Ye, Jing-yuan Yue

Browse the full COMPSAC paper archive.