Test Sequence Generation from Combining Property Modeling and Program Slicing | IEEE Conference Publication | IEEE Xplore