Specification-based Test Case Generation with Genetic Algorithm | IEEE Conference Publication | IEEE Xplore