Hsin-Wen WeiWan-Chen LuPei-Chi HuangWei-Kuan ShihMing-Yang KaoTesting Whether a Set of Code Words Satisfies a Given Set of Constraints.333-346201026J. Inf. Sci. Eng.2http://www.iis.sinica.edu.tw/page/jise/2010/201003_01.htmldb/journals/jise/jise26.html#WeiLHSK10