Knowledge-based test generation | IET Conference Publication | IEEE Xplore