关注
Rachel Tzoref-Brill
Rachel Tzoref-Brill
IBM Haifa Research Lab
在 il.ibm.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
1232011
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
892007
Deadlocks: From exhibiting to healing
Y Nir-Buchbinder, R Tzoref, S Ur
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary …, 2008
712008
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
542013
Device, system and method of debugging computer programs
R Tzoref, S Ur, E Yom-Tov
US Patent 8,356,287, 2013
532013
Test selection based on an N-wise combinations coverage
DE Blue, R Tzoref-Brill
US Patent 8,756,460, 2014
482014
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
382014
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
362007
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
332013
Common patterns in combinatorial models
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
332012
Simplified modeling of combinatorial test spaces
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
272012
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
272009
Automatic refinement and vacuity detection for symbolic trajectory evaluation
R Tzoref, O Grumberg
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
272006
Test planning based on dynamic coverage analysis
I Segall, R Tzoref-Brill
US Patent 9,218,271, 2015
262015
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
242019
Congestion control using application slowdown
M Goldstein, OM Shehory, R Tzoref, S Ur
US Patent 8,593,946, 2013
202013
Deadlock prevention in a computing environment
Y Nir-Buchbinder, R Tzoref, S Ur
US Patent 7,783,806, 2010
202010
Modify, enhance, select: Co-evolution of combinatorial models and test plans
R Tzoref-Brill, S Maoz
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
182018
Measuring coupling between coverage tasks and use thereof
YS Adler, R Tzoref-Brill, M Klausner, OP Raz, OM Shehory, A Zlotnick
US Patent 8,719,789, 2014
182014
Combinatorial testing with order requirements
E Farchi, I Segall, R Tzoref-Brill, A Zlotnick
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
182014
系统目前无法执行此操作,请稍后再试。
文章 1–20