Injecting Execution Traces into a Model-Driven Framework for Program Analysis

Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu. Injecting Execution Traces into a Model-Driven Framework for Program Analysis. In Martina Seidl, Steffen Zschaler, editors, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Volume 10748 of Lecture Notes in Computer Science, pages 3-13, Springer, 2017. [doi]

Authors

Thibault Béziers la Fosse

This author has not been identified. Look up 'Thibault Béziers la Fosse' in Google

Massimo Tisi

This author has not been identified. It may be one of the following persons: Look up 'Massimo Tisi' in Google

Jean-Marie Mottu

This author has not been identified. Look up 'Jean-Marie Mottu' in Google