Report - Exhaustive test sets for algebraic specificationslonguet/Publications/AALL16-STVR.pdf · conditions. A test set is said to be exhaustive if every program P passing all the tests

Please pass captcha verification before submit form