Multithreaded Java program test generation. - Orit Edelstein; Eitan Farchi; Yarden Nir; Gil Ratsaby; Shmuel Ur (IBM Syst. J., 2002)

Concurrent Bug Patterns and How to Test Them. - Eitan Farchi; Yarden Nir; Shmuel Ur (IPDPS, 2003)

Framework for testing multi-threaded Java programs. - Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur (Concurr. Comput. Pract. Exp., 2003)

Automatic Simulation of Network Problems in UDP-Based Java Programs. - Eitan Farchi; Yoel Krasny; Yarden Nir (IPDPS, 2004)

Applications of synchronization coverage. - Arkady Bron; Eitan Farchi; Yonit Magid; Yarden Nir; Shmuel Ur (PPoPP, 2005)

Formal verification of concurrent software: two case studies. - Hana Chockler; Eitan Farchi; Ziv Glazberg; Benny Godlin; Yarden Nir-Buchbinder; Ishai Rabinovitz (PADTAD, 2006)

ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. - Yarden Nir-Buchbinder; Shmuel Ur (SOQUA, 2007)

Deadlocks: From Exhibiting to Healing. - Yarden Nir-Buchbinder; Rachel Tzoref; Shmuel Ur (RV, 2008)

Forcing small models of conditions on program interleaving for detection of concurrent bugs. - Ehud Trainin; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Aviad Zlotnick; Shmuel Ur; Eitan Farchi (PADTAD, 2009)

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. - Bohuslav Krena; Zdenek Letko; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Shmuel Ur; Tomás Vojnar (RV, 2009)

Unit testing for concurrent business code. - Yao Qi; Yarden Nir-Buchbinder; Eitan Farchi; Raja Das; Zhi Da Luo; Zhi Gan (PDATAD, 2010)

Detection of deadlock potentials in multithreaded programs. - Rahul Agarwal; Saddek Bensalem; Eitan Farchi; Klaus Havelund; Yarden Nir-Buchbinder; Scott D. Stoller; Shmuel Ur; Liqiang Wang (IBM J. Res. Dev., 2010)

Future Internet Testing with FITTEST. - Tanja E. J. Vos; Paolo Tonella; Joachim Wegener; Mark Harman; Wishnu Prasetya; Elisa Puoskari; Yarden Nir-Buchbinder (CSMR, 2011)

Transformers are Multi-State RNNs. - Matanel Oren; Michael Hassid; Yarden Nir; Yossi Adi; Roy Schwartz 001 (EMNLP, 2024)