Login / Signup

On the Use of a High-Level Fault Model to Check Properties Incompleteness.

Franco FummiGraziano PravadelliAndrea FedeliUmberto RossiFranco Toto
Published in: MEMOCODE (2003)
Keyphrases
  • high level
  • fault model
  • low level
  • higher level
  • missing values
  • constraint satisfaction
  • lower level