Yabo Wang David Lorge Parnas Simulating the Behavior of Software Modules by Trace Rewriting. 750-759 http://doi.ieeecomputersociety.org/10.1109/32.328996 1994 20 IEEE Trans. Software Eng. 10 db/journals/tse/tse20.html#WangP94