Deryaft: a tool for generating representation invariants of structurally complex data.

Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid

Browse the full ICSE paper archive.