A Survey of Model-Driven Testing Techniques | IEEE Conference Publication | IEEE Xplore