Assume-guarantee testing for software components.

Dimitra Giannakopoulou Corina S. Pasareanu Colin Blundell

Published in: IET Softw. (2008)

Keyphrases

software components
software systems
software development
building blocks
software reuse
software modules
java programs
commercial off the shelf
web services
development environments
software artifacts
reusable components
database systems
source code
query language
e learning
data sets