Mixed-level sequential test generation using a nine-valued relaxation algorithm | IEEE Conference Publication | IEEE Xplore