Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita. Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. In 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA. pages 370-375, IEEE Computer Society, 2006. [doi]
Abstract is missing.