C. Gaston, P. Le Gall, N. Rapin, A. Touil. Symbolic Execution-Based Techniques for Conformance Testing.
Model‐Driven Engineering for Distributed Real‐Time Systems: MARTE Modeling, Model Transformations and their Usages, John Wiley and Sons, pp.73-103, 2013, 9781848211155.
⟨10.1002/9781118558096.ch4⟩.
⟨cea-01818541⟩