Automatic property identification via parametrized constraints | IEEE Conference Publication | IEEE Xplore