Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yarden Nir-Buchbinder
Yarden Nir
2010 – today
- 2011
[c11]Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder: Future Internet Testing with FITTEST. CSMR 2011: 355-358- 2010
- [j3]Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang: Detection of deadlock potentials in multithreaded programs. IBM Journal of Research and Development 54(5): 3 (2010)
- [c10]Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan: Unit testing for concurrent business code. PDATAD 2010: 37-47
2000 – 2009
- 2009
- [c9]Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi: Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD 2009
- [c8]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
- [c7]Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur: Deadlocks: From Exhibiting to Healing. RV 2008: 104-118
- 2007
- [c6]Yarden Nir-Buchbinder, Shmuel Ur: ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA 2007: 9-16
- 2006
- [c5]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
- [c4]Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212
- 2004
- [c3]Eitan Farchi, Yoel Krasny, Yarden Nir: Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004
- 2003
- [j2]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)
- [c2]
- 2002
- [j1]Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. IBM Systems Journal 41(1): 111-125 (2002)
- 2001
- [c1]Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:00 CET by the dblp team