Login / Signup

Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors.

Yatin Vasant HoskoteDinos MoundanosJacob A. Abraham
Published in: ICCD (1995)
Keyphrases
  • automatic extraction
  • control flow
  • relation extraction
  • data flow
  • data sets
  • databases
  • information systems
  • case study
  • software systems
  • model checking
  • natural language text