| 2012 | ||
|---|---|---|
| c5 | Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Improving the effectiveness of spectra-based fault localization using specifications. ASE 2012: 40-49 | |
| c4 | Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Test input generation using dynamic programming. SIGSOFT FSE 2012: 34 | |
| c3 | Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley: History-Aware Data Structure Repair Using SAT. TACAS 2012: 2-17 | |
| 2010 | ||
| c2 | Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Introducing Specification-Based Data Structure Repair Using Alloy. ASM 2010: 398-399 | |
| c1 | Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Contract-Based Data Structure Repair Using Alloy. ECOOP 2010: 577-598 | |
| 1 | Divya Gopinath | |
| 2 | Sarfraz Khurshid | |
| 3 | Kathryn S. McKinley |
Data released under the ODC-BY 1.0 license — See also our legal information page