Symbolic Execution Techniques for Refinement Testing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascale Le Gall, Nicolas Rapin, Assia Touil. Symbolic Execution Techniques for Refinement Testing. In Yuri Gurevich, Bertrand Meyer, editors, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Volume 4454 of Lecture Notes in Computer Science, pages 131-148, Springer, 2007. [doi]

This author has not been identified. Look up 'Pascale Le Gall' in GoogleThis author has not been identified. Look up 'Nicolas Rapin' in GoogleThis author has not been identified. Look up 'Assia Touil' in Google

runs on WebDSL