| * | 2009 |
|---|
| 10 | EE | Bohuslav Krena,
Zdenek Letko,
Yarden Nir-Buchbinder,
Rachel Tzoref-Brill,
Shmuel Ur,
Tomás Vojnar:
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.
RV 2009: 101-114 |
| 2008 |
|---|
| 9 | EE | Yarden Nir-Buchbinder,
Rachel Tzoref,
Shmuel Ur:
Deadlocks: From Exhibiting to Healing.
RV 2008: 104-118 |
| 2007 |
|---|
| 8 | EE | Yarden Nir-Buchbinder,
Shmuel Ur:
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.
SOQUA 2007: 9-16 |
| 2006 |
|---|
| 7 | EE | Hana Chockler,
Eitan Farchi,
Ziv Glazberg,
Benny Godlin,
Yarden Nir-Buchbinder,
Ishai Rabinovitz:
Formal verification of concurrent software: two case studies.
PADTAD 2006: 11-22 |
| 2005 |
|---|
| 6 | EE | Arkady Bron,
Eitan Farchi,
Yonit Magid,
Yarden Nir,
Shmuel Ur:
Applications of synchronization coverage.
PPOPP 2005: 206-212 |
| 2004 |
|---|
| 5 | EE | Eitan Farchi,
Yoel Krasny,
Yarden Nir:
Automatic Simulation of Network Problems in UDP-Based Java Programs.
IPDPS 2004 |
| 2003 |
|---|
| 4 | EE | Eitan Farchi,
Yarden Nir,
Shmuel Ur:
Concurrent Bug Patterns and How to Test Them.
IPDPS 2003: 286 |
| 3 | | Orit Edelstein,
Eitan Farchi,
Evgeny Goldin,
Yarden Nir,
Gil Ratsaby,
Shmuel Ur:
Framework for testing multi-threaded Java programs.
Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003) |
| 2002 |
|---|
| 2 | EE | Orit Edelstein,
Eitan Farchi,
Yarden Nir,
Gil Ratsaby,
Shmuel Ur:
Multithreaded Java program test generation.
IBM Systems Journal 41(1): 111-125 (2002) |
| 2001 |
|---|
| 1 | EE | Orit Edelstein,
Eitan Farchi,
Yarden Nir,
Gil Ratsaby,
Shmuel Ur:
Multithreaded Java program test generation.
Java Grande 2001: 181 |
