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