| 2009 |
10 | | Yoram Adler,
Eitan Farchi,
Moshe Klausner,
Dan Pelleg,
Orna Raz,
Moran Shochat,
Shmuel Ur,
Aviad Zlotnick:
Automated substring hole analysis.
ICSE Companion 2009: 203-206 |
9 | | Yoram Adler,
Eitan Farchi,
Moshe Klausner,
Dan Pelleg,
Orna Raz,
Moran Shochat,
Shmuel Ur,
Aviad Zlotnick:
Advanced code coverage analysis using substring holes.
ISSTA 2009: 37-46 |
8 | | Aviad Zlotnick,
Orna Raz:
Hardware-less testing for RAS software.
SYSTOR 2009: 17 |
| 2008 |
7 | | Moran Shochat,
Orna Raz,
Eitan Farchi:
SeeCode - A Code Review Plug-in for Eclipse.
Haifa Verification Conference 2008: 205-209 |
| 2007 |
6 | | Orna Raz,
Moshe Klausner,
Nitzan Peleg,
Gadi Haber,
Eitan Farchi,
Shachar Fienblit,
Yakov S. Filiarsky,
Shay Gammer,
Sergey Novikov:
The Advantages of Post-Link Code Coverage.
Haifa Verification Conference 2007: 235-251 |
| 2004 |
5 | | Orna Raz,
Rebecca B. Buchheit,
Mary Shaw,
Philip Koopman,
Christos Faloutsos:
Automated Assistance for Eliciting User Expectations.
SEKE 2004: 80-85 |
| 2002 |
4 | | Orna Raz,
Philip Koopman,
Mary Shaw:
Semantic anomaly detection in online data sources.
ICSE 2002: 302-312 |
3 | | Orna Raz:
Research abstract for semantic detection in dynamic data feeds with incomplete specifications.
ICSE 2002: 733-734 |
2 | | Orna Raz,
Philip Koopman,
Mary Shaw:
Enabling automatic adaptation in systems with under-specified elements.
WOSS 2002: 55-60 |
| 2000 |
1 | | Orna Raz,
Mary Shaw:
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions.
IWSSD 2000: 159-170 |