Symbolic Execution Techniques Extended to Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Christophe Gaston' in GoogleThis author has not been identified. Look up 'Marc Aiguier' in GoogleThis author has not been identified. Look up 'Diane Bahrami' in GoogleThis author has not been identified. Look up 'Arnault Lapitre' in Google

runs on WebDSL