Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.

John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath

Browse the full ICSE paper archive.