Yarden Nir-Buchbinder

According to our database, Yarden Nir-Buchbinder authored at least 13 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Future Internet Testing with FITTEST.

Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

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

Unit testing for concurrent business code.

Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

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

Proceedings of the Runtime Verification, 9th International Workshop, 2009

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

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008

Deadlocks: From Exhibiting to Healing.

Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur

Proceedings of the Runtime Verification, 8th International Workshop, 2008

2007

ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.

Yarden Nir-Buchbinder, Shmuel Ur

Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

2006

Formal verification of concurrent software: two case studies.

Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

2005

Applications of synchronization coverage.

Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

2004

Automatic Simulation of Network Problems in UDP-Based Java Programs.

Eitan Farchi, Yoel Krasny, Yarden Nir

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

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

Concurrent Bug Patterns and How to Test Them.

Eitan Farchi, Yarden Nir, Shmuel Ur

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Multithreaded Java program test generation.

Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur

IBM Syst. J., 2002