Robert M. Hierons Hasan Ural UIO sequence based checking sequences for distributed test architectures. 793-803 2003 45 Information & Software Technology 12 http://dx.doi.org/10.1016/S0950-5849(03)00060-0 db/journals/infsof/infsof45.html#HieronsU03