TY - JOUR T1 - Applying adaptive test cases to nondeterministic implementations JO - Information Processing Letters UR - https://doi.org/10.1016/j.ipl.2005.12.001 PY - 2006/04/30 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/11/05 ER -