Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

11 results for Yarden Nir-Buchbinder

ConTest listeners: A concurrency-oriented infrastructure for Java test and heal tools
- - Yarden Nir-Buchbinder
  - Shmuel Ur
- 2007
- ESEC/FSE 2007
Future Internet testing with FITTEST
- - Tanja E.J. Vos
  - Paolo Tonella
  - et al.
- 2011
- CSMR 2011
Unit testing for concurrent business code
- - Yao Qi
  - Yarden Nir-Buchbinder
  - et al.
- 2010
- PADTAD 2010
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
Multithreaded Java program test generation
- - Orit Edelstein
  - Eitan Farchi
  - et al.
- 2001
- JGI 2001
Forcing small models of conditions on program interleaving for detection of concurrent bugs
- - Ehud Trainin
  - Yarden Nir-Buchbinder
  - et al.
- 2009
- ISSTA 2009
Detection of deadlock potentials in multithreaded programs
- - R. Agarwal
  - S. Bensalem
  - et al.
- 2010
- IBM J. Res. Dev
Framework for testing multi-threaded Java programs
- - Orit Edelstein
  - Eitan Farchi
  - et al.
- 2003
- CCPE