Engineering of an Effective Automatic Dynamic Assertion Mining Platform | IEEE Conference Publication | IEEE Xplore