Investigating Instrumentation Techniques for ESB Runtime Verification

Christian Colombo, Gabriel Dimech, Adrian Francalanza. Investigating Instrumentation Techniques for ESB Runtime Verification. In Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Volume 9276 of Lecture Notes in Computer Science, pages 99-107, Springer, 2015. [doi]

Authors

Christian Colombo

This author has not been identified. Look up 'Christian Colombo' in Google

Gabriel Dimech

This author has not been identified. Look up 'Gabriel Dimech' in Google

Adrian Francalanza

This author has not been identified. Look up 'Adrian Francalanza' in Google