Exhaustive test sets for algebraic specification correctness

  title={Exhaustive test sets for algebraic specification correctness},
  author={Marc Aiguier and Agn{\`e}s Arnould and Pascale Le Gall},
In the context of testing from algebraic specifications, a first natural testing hypothesis is to suppose that programs and test cases are denoted respectively, by Σ-algebras and ground formulas. Hence, the test case interpretation is defined with respect to the formula satisfaction. So, the set of test cases is a subset of semantic consequences restricted… CONTINUE READING