Automatic generation of a parameter-domain-based functional input coverage model | IEEE Conference Publication | IEEE Xplore