An Automated Approach for Writing Alloy Specifications Using Instances. - Sarfraz Khurshid; Muhammad Zubair Malik; Engin Uzuncaova (ISoLA, 2006)

Program slicing for declarative models. - Engin Uzuncaova; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2006)

Kato: A Program Slicing Tool for Declarative Specifications. - Engin Uzuncaova; Sarfraz Khurshid (ICSE, 2007)

A specification-based approach to testing software product lines. - Engin Uzuncaova; Daniel Garcia; Sarfraz Khurshid; Don S. Batory (ESEC/SIGSOFT FSE, 2007)

Constraint Prioritization for Efficient Analysis of Declarative Models. - Engin Uzuncaova; Sarfraz Khurshid (FM, 2008)

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

Testing Software Product Lines Using Incremental Test Generation. - Engin Uzuncaova; Daniel Garcia; Sarfraz Khurshid; Don S. Batory (ISSRE, 2008)

Incremental Test Generation for Software Product Lines. - Engin Uzuncaova; Sarfraz Khurshid; Don S. Batory (IEEE Trans. Software Eng., 2010)