Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre. Symbolic Execution Techniques Extended to Systems. In Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser, editors, The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal. pages 78-85, IEEE Computer Society, 2009. [doi]
Abstract is missing.