Login / Signup

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method.

Masaki NakamuraTakahiro Seino
Published in: IEICE Trans. Inf. Syst. (2009)
Keyphrases
  • similarity measure
  • pairwise
  • prior knowledge
  • maximum likelihood
  • invariant representations