Engin Uzuncaova

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36 (3) (2010)
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
Testing Software Product Lines Using Incremental Test Generation. ISSRE (2008)
Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid
Deryaft: a tool for generating representation invariants of structurally complex data. ICSE (2008)
Engin Uzuncaova, Sarfraz Khurshid
Constraint Prioritization for Efficient Analysis of Declarative Models. FM (2008)
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE (2007)
Engin Uzuncaova, Sarfraz Khurshid
Kato: A Program Slicing Tool for Declarative Specifications. ICSE (2007)
Don S. Batory, Daniel Garcia, Engin Uzuncaova, Sarfraz Khurshid
A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE (Companion) (2007)
Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova
An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA (2006)
Engin Uzuncaova, Sarfraz Khurshid
Program slicing for declarative models. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)