ConTest listeners: A concurrency-oriented infrastructure for Java test and heal tools
- Yarden Nir-Buchbinder
- Shmuel Ur
- 2007
- ESEC/FSE 2007
Publications
Date
Featured collections
Popular topics
11 results for Yarden Nir-Buchbinder
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