Login / Signup

Component Verification with Automatically Generated Assumptions.

Dimitra GiannakopoulouCorina S. PasareanuHoward Barringer
Published in: Autom. Softw. Eng. (2005)
Keyphrases
  • automatically generated
  • automatically generate
  • manually generated
  • automatically generating
  • manually created
  • automatically created
  • manually constructed
  • model checking
  • speech recognition
  • software components