Abstraction-based relation mining for functional test generation | IEEE Conference Publication | IEEE Xplore