A practical model-based statistical approach for generating functional test cases: application in the automotive industry. - Roy Awedikian; Bernard Yannou (Softw. Test. Verification Reliab., 2014)