TY - JOUR T1 - Applying adaptive test cases to nondeterministic implementations JO - Information Processing Letters PY - 2006/01/01 AU - Hierons RM ED - DO - DOI: 10.1016/j.ipl.2005.12.001 PB - Elsevier BV VL - 98 IS - 2 SP - 56 EP - 60 Y2 - 2025/05/20 ER -