A methodology for automated test generation guided by functional coverage constraints at specification level | IEEE Conference Publication | IEEE Xplore