Hasan Ural Craig Williams Constructing checking sequences for distributed testing. 84-101 2006 18 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-005-0083-8 db/journals/fac/fac18.html#UralW06