Yarden Nir-Buchbinder

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder
Future Internet Testing with FITTEST. CSMR (2011)
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 J. Res. Dev. 54 (5) (2010)
Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan
Unit testing for concurrent business code. PDATAD (2010)
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)
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)
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
Deadlocks: From Exhibiting to Healing. RV (2008)
Yarden Nir-Buchbinder, Shmuel Ur
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA (2007)
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
Formal verification of concurrent software: two case studies. PADTAD (2006)