Quality of the design of test cases for automotive software by Roy Awedikian