G. Petiot, B. Botella, J. Julliand, N. Kosmatov, J. Signoles. Instrumentation of annotated c programs for test generation.
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114,
⟨10.1109/SCAM.2014.19⟩.
⟨cea-01836306⟩