Symbolic Execution Techniques Extended to Systems.

Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre

Browse the full ICSEA paper archive.