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]
Abstract is missing.