Symbolic Learning of Component Interfaces

Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman. Symbolic Learning of Component Interfaces. In Antoine Miné, David Schmidt, editors, Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings. Volume 7460 of Lecture Notes in Computer Science, pages 248-264, Springer, 2012. [doi]

Authors

Dimitra Giannakopoulou

This author has not been identified. Look up 'Dimitra Giannakopoulou' in Google

Zvonimir Rakamaric

This author has not been identified. Look up 'Zvonimir Rakamaric' in Google

Vishwanath Raman

This author has not been identified. Look up 'Vishwanath Raman' in Google