 | 2008 |
|---|
| 8 |       | Engin Uzuncaova,
Sarfraz Khurshid:
Constraint Prioritization for Efficient Analysis of Declarative Models.
FM 2008: 310-325 |
| 7 | | Muhammad Zubair Malik,
Aman Pervaiz,
Engin Uzuncaova,
Sarfraz Khurshid:
Deryaft: a tool for generating representation invariants of structurally complex data.
ICSE 2008: 859-862 |
| 6 | | Engin Uzuncaova,
Daniel Garcia,
Sarfraz Khurshid,
Don S. Batory:
Testing Software Product Lines Using Incremental Test Generation.
ISSRE 2008: 249-258 |
| 2007 |
|---|
| 5 | | Engin Uzuncaova,
Daniel Garcia,
Sarfraz Khurshid,
Don S. Batory:
A specification-based approach to testing software product lines.
ESEC/SIGSOFT FSE 2007: 525-528 |
| 4 | | Engin Uzuncaova,
Daniel Garcia,
Sarfraz Khurshid,
Don S. Batory:
A specification-based approach to testing software product lines.
ESEC/SIGSOFT FSE (Companion) 2007: 525-528 |
| 3 | | Engin Uzuncaova,
Sarfraz Khurshid:
Kato: A Program Slicing Tool for Declarative Specifications.
ICSE 2007: 767-770 |
| 2006 |
|---|
| 2 | | Sarfraz Khurshid,
Muhammad Zubair Malik,
Engin Uzuncaova:
An Automated Approach for Writing Alloy Specifications Using Instances.
ISoLA 2006: 449-457 |
| 1 | | Engin Uzuncaova,
Sarfraz Khurshid:
Program slicing for declarative models.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
