Test Sequence Generation from Combining Property Modeling and Program Slicing.

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

Published in: COMPSAC Workshops (2010)

Keyphrases

program slicing
reverse engineering
case study
source code
test cases
fault detection
formal verification
fault localization