Designing Fulfilling Test Cases with Test Aspect Model | IEEE Conference Publication | IEEE Xplore