Automatic Specification-Based Testing: Challenges and Possibilities | IEEE Conference Publication | IEEE Xplore