V.P.: Cadena: An integrated development, analysis, and verification environment for component-based systems (2003)

by J Hatcliff, X Deng, M B Dwyer, G Jung, Ranganath
Venue:In: International Conference on Software Engineering (ICSE