![]() |
| 2008 | ||
|---|---|---|
| 4 | EE | Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid: Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008: 859-862 |
| 2007 | ||
| 3 | EE | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528 |
| 2 | EE | Engin Uzuncaova, Sarfraz Khurshid: Kato: A Program Slicing Tool for Declarative Specifications. ICSE 2007: 767-770 |
| 2006 | ||
| 1 | EE | Engin Uzuncaova, Sarfraz Khurshid: Program slicing for declarative models. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 1 | Don S. Batory | [3] |
| 2 | Daniel Garcia | [3] |
| 3 | Sarfraz Khurshid | [1] [2] [3] [4] |
| 4 | Muhammad Zubair Malik | [4] |
| 5 | Aman Pervaiz | [4] |