The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In Martin Gogolla, Burkhart Wolff, editors, Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Volume 6706 of Lecture Notes in Computer Science, pages 78-83, Springer, 2011. [doi]

This author has not been identified. Look up 'Omar Chebaro' in GoogleThis author has not been identified. Look up 'Nikolai Kosmatov' in GoogleThis author has not been identified. Look up 'Alain Giorgetti' in GoogleThis author has not been identified. Look up 'Jacques Julliand' in Google

runs on WebDSL