| Using binary decision diagrams for combinatorial test design I Segall, R Tzoref-Brill, E Farchi Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 120 | 2011 |
| Healing data races on-the-fly B Krena, Z Letko, R Tzoref, S Ur, T Vojnar proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems …, 2007 | 86 | 2007 |
| Deadlocks: From exhibiting to healing Y Nir-Buchbinder, R Tzoref, S Ur Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary …, 2008 | 71 | 2008 |
| Interaction-based test-suite minimization D Blue, I Segall, R Tzoref-Brill, A Zlotnick 2013 35th International Conference on Software Engineering (ICSE), 182-191, 2013 | 51 | 2013 |
| Device, system and method of debugging computer programs R Tzoref, S Ur, E Yom-Tov US Patent 8,356,287, 2013 | 51 | 2013 |
| Test selection based on an N-wise combinations coverage DE Blue, R Tzoref-Brill US Patent 8,756,460, 2014 | 45 | 2014 |
| System level combinatorial testing in practice--the concurrent maintenance case study P Wojciak, R Tzoref-Brill 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 37 | 2014 |
| Instrumenting where it hurts: an automatic concurrent debugging technique R Tzoref, S Ur, E Yom-Tov Proceedings of the 2007 international symposium on Software testing and …, 2007 | 35 | 2007 |
| Detecting locking discipline violations on shared resources Y Nir-Buchbinder, O Raz-Pelleg, R Tzoref, S Ur, A Zlotnick US Patent 8,479,166, 2013 | 32 | 2013 |
| Common patterns in combinatorial models I Segall, R Tzoref-Brill, A Zlotnick 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 32 | 2012 |
| Forcing small models of conditions on program interleaving for detection of concurrent bugs E Trainin, Y Nir-Buchbinder, R Tzoref-Brill, A Zlotnick, S Ur, E Farchi Proceedings of the 7th workshop on parallel and distributed systems: Testing …, 2009 | 28 | 2009 |
| Automatic refinement and vacuity detection for symbolic trajectory evaluation R Tzoref, O Grumberg Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 27 | 2006 |
| Simplified modeling of combinatorial test spaces I Segall, R Tzoref-Brill, A Zlotnick 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 25 | 2012 |
| Test planning based on dynamic coverage analysis I Segall, R Tzoref-Brill US Patent 9,218,271, 2015 | 24 | 2015 |
| Bridging the gap between ml solutions and their business requirements using feature interactions G Barash, E Farchi, I Jayaraman, O Raz, R Tzoref-Brill, M Zalmanovici Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 22 | 2019 |
| Congestion control using application slowdown M Goldstein, OM Shehory, R Tzoref, S Ur US Patent 8,593,946, 2013 | 20 | 2013 |
| Deadlock prevention in a computing environment Y Nir-Buchbinder, R Tzoref, S Ur US Patent 7,783,806, 2010 | 20 | 2010 |
| Combinatorial testing with order requirements E Farchi, I Segall, R Tzoref-Brill, A Zlotnick 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 18 | 2014 |
| A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing B Křena, Z Letko, Y Nir-Buchbinder, R Tzoref-Brill, S Ur, T Vojnar Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009 | 18 | 2009 |
| BDD-based functional modeling R Tzoref-Brill, I Segall, T Veksler US Patent 8,595,676, 2013 | 17 | 2013 |
