Testing with partial traced requirements: a necessary step towards higher quality system level verification | IEEE Conference Publication | IEEE Xplore