Case Study of Requirements-Based Test Case Generation on an Automotive Domain | IEEE Conference Publication | IEEE Xplore