Login / Signup
Component Verification with Automatically Generated Assumptions.
Dimitra Giannakopoulou
Corina S. Pasareanu
Howard 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