Verification and validation with ripple-down rules. - Byeong Ho Kang 001; Windy Gambetta; Paul Compton (Int. J. Hum. Comput. Stud., 1996)