Specification-based Test Case Generation with Genetic Algorithm2019-06-010 PRE AI DOI:10.1109/cec.2019.8790233OriginalShareSaveAbstract En