Aman Pervaiz

According to our database, Aman Pervaiz authored at least 2 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

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

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

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Generating Representation Invariants of Structurally Complex Data.

Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007