Generation of high quality tests for functional sensitizable paths | IEEE Conference Publication | IEEE Xplore