Generating Representation Invariants of Structurally Complex Data. - Muhammad Zubair Malik; Aman Pervaiz; Sarfraz Khurshid (TACAS, 2007)

Deryaft: a tool for generating representation invariants of structurally complex data. - Muhammad Zubair Malik; Aman Pervaiz; Engin Uzuncaova; Sarfraz Khurshid (ICSE, 2008)