Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre. Symbolic Execution Techniques Extended to Systems..
International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85,
⟨10.1109/icsea.2009.21⟩.
⟨hal-00812189⟩