| 9703688 |
Progress metric for combinatorial models |
Hsu Chien-Jen, Rachel Tzoref-Brill, Aviad Zlotnick |
2017-07-11 |
| 9569343 |
Integration of a software content space with test planning and test case generation |
Edward B. Boden, Ehud Trainin |
2017-02-14 |
| 9454466 |
Explaining partially illegal combinations in combinatorial models |
Alexander Ivrii, Rachel Tzoref-Brill |
2016-09-27 |
| 9262307 |
Modeling test space for system behavior with optional variable combinations |
Rachel Tzoref-Brill, Aviad Zlotnick |
2016-02-16 |
| 9244819 |
Attribute value properties for test selection with cartesian product models |
Eitan Farchi, Howard M. Hess, Rachel Tzoref-Brill, Aviad Zlotnick |
2016-01-26 |
| 9218271 |
Test planning based on dynamic coverage analysis |
Rachel Tzoref-Brill |
2015-12-22 |
| 9122801 |
Test planning with order coverage requirements |
Aviad Zlotnick |
2015-09-01 |
| 9111040 |
Integration of a software content space with test planning and test case generation |
Edward B. Boden, Ehud Trainin |
2015-08-18 |
| 8990626 |
Method and apparatus for determining relevance of assignments in combinatorial models |
Eitan Farchi, Rachel Tzoref-Brill |
2015-03-24 |
| 8954310 |
Automatic designation of equivalent variable values |
Eitan Farchi, Rachel Tzoref-Brill |
2015-02-10 |
| 8914757 |
Explaining illegal combinations in combinatorial models |
Sharon Keidar-Barner, Rachel Tzoref-Brill |
2014-12-16 |
| 8887112 |
Test validation planning |
Rachel Tzoref-Brill, Aviad Zlotnick |
2014-11-11 |
| 8656341 |
BDD-based functional coverage analysis |
Rachel Tzoref-Brill, Tatyana Veksler |
2014-02-18 |
| 8595676 |
BDD-based functional modeling |
Rachel Tzoref-Brill, Tatyana Veksler |
2013-11-26 |
