Muhammad Zubair Malik Aman Pervaiz Engin Uzuncaova Sarfraz Khurshid Deryaft: a tool for generating representation invariants of structurally complex data. 859-862 2008 ICSE http://doi.acm.org/10.1145/1368088.1368223 conf/icse/2008 db/conf/icse/icse2008.html#MalikPUK08