Razieh Nokhbeh Zaeem Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Improving the effectiveness of spectra-based fault localization using specifications. ASE 2012: 40-49
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Test input generation using dynamic programming. SIGSOFT FSE 2012: 34
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley: History-Aware Data Structure Repair Using SAT. TACAS 2012: 2-17
2010
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Introducing Specification-Based Data Structure Repair Using Alloy. ASM 2010: 398-399
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Razieh Nokhbeh Zaeem, Sarfraz Khurshid: Contract-Based Data Structure Repair Using Alloy. ECOOP 2010: 577-598

Coauthor Index

1Divya Gopinath
[c5] [c3]
2Sarfraz Khurshid
[c5] [c4] [c3] [c2] [c1]
3Kathryn S. McKinley
[c3]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 07:11:50 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page