Farn Wang Karsten Schmidt 0004 Fang Yu Geng-Dian Huang Bow-Yaw Wang BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. 403-417 2004 30 IEEE Trans. Software Eng. 6 http://doi.ieeecomputersociety.org/10.1109/TSE.2004.15 db/journals/tse/tse30.html#WangSYHW04