Publications

11 results for Yarden Nir-Buchbinder

Future Internet testing with FITTEST
- - Tanja E.J. Vos
  - Paolo Tonella
  - et al.
- 2011
- CSMR 2011
Detection of deadlock potentials in multithreaded programs
- - R. Agarwal
  - S. Bensalem
  - et al.
- 2010
- IBM J. Res. Dev
Unit testing for concurrent business code
- - Yao Qi
  - Yarden Nir-Buchbinder
  - et al.
- 2010
- PADTAD 2010
Forcing small models of conditions on program interleaving for detection of concurrent bugs
- - Ehud Trainin
  - Yarden Nir-Buchbinder
  - et al.
- 2009
- ISSTA 2009
ConTest listeners: A concurrency-oriented infrastructure for Java test and heal tools
- - Yarden Nir-Buchbinder
  - Shmuel Ur
- 2007
- ESEC/FSE 2007
Formal verification of concurrent software: Two case studies
- - Hana Chockler
  - Eitan Farchi
  - et al.
- 2006
- PADTAD 2006
Automatic simulation of network problems in UDP-based java programs
- - Eitan Farchi
  - Yoel Krasny
  - et al.
- 2004
- IPDPS 2004
Concurrent bug patterns and how to test them
- - Eitan Farchi
  - Yarden Nir
  - et al.
- 2003
- IPDPS 2003
Framework for testing multi-threaded Java programs
- - Orit Edelstein
  - Eitan Farchi
  - et al.
- 2003
- CCPE
Multithreaded java program test generation
- - O. Edelstein
  - Eitan Farchi
  - et al.
- 2002
- IBM Systems Journal