Boeken over Quality of the design of test cases for automotive software