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

by J Hatcliff, X Deng, M B Dwyer, G Jung, V P Ranganath
Venue:In Proceedings of the 25th International Conference on Software Engineering (ICSE ’03