Rachel Tzoref-Brill
Rachel Tzoref-Brill
IBM Haifa Research Lab
Verified email at il.ibm.com
TitleCited byYear
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
822011
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
742007
Deadlocks: From exhibiting to healing
Y Nir-Buchbinder, R Tzoref, S Ur
International Workshop on Runtime Verification, 104-118, 2008
662008
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
382013
Device, system and method of debugging computer programs
R Tzoref, S Ur, E Yom-Tov
US Patent 8,356,287, 2013
382013
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
332007
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
272013
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
262014
Deadlocks: From Exhibiting to Healing, Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Y Nir-Buchbinder, R Tzoref, S Ur
Springer-Verlag, Berlin, Heidelberg, 2008
222008
Common patterns in combinatorial models
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
212012
Automatic refinement and vacuity detection for symbolic trajectory evaluation
R Tzoref, O Grumberg
International Conference on Computer Aided Verification, 190-204, 2006
212006
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
202009
Simplified modeling of combinatorial test spaces
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
172012
Deadlock prevention in a computing environment
Y Nir-Buchbinder, R Tzoref, S Ur
US Patent 7,783,806, 2010
172010
Extension of Lock Discipline Violation Detection for Lock Wait Patterns
Y Nir-Buchbinder, R Tzoref
US Patent App. 12/202,084, 2010
152010
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
International Workshop on Runtime Verification, 101-114, 2009
152009
BDD-based functional modeling
R Tzoref-Brill, I Segall, T Veksler
US Patent 8,595,676, 2013
132013
Interactive refinement of combinatorial test plans
I Segall, R Tzoref-Brill
2012 34th International Conference on Software Engineering (ICSE), 1371-1374, 2012
132012
Combinatorial testing with order requirements
E Farchi, I Segall, R Tzoref-Brill, A Zlotnick
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
122014
Satisfiability (SAT) based bounded model checkers
D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref
US Patent 7,835,898, 2010
122010
The system can't perform the operation now. Try again later.
Articles 1–20