 | 2003 |
| 4 |  | Bogdan Korel,
Inderdeep Singh,
Luay Ho Tahat,
Boris Vaysburg:
Slicing of State-Based Models.
ICSM 2003: 34-43 |
| 2002 |
| 3 |  | Bogdan Korel,
Luay Ho Tahat,
Boris Vaysburg:
Model Based Regression Test Reduction Using Dependence Analysis.
ICSM 2002: 214- |
| 2 |  | Boris Vaysburg,
Luay Ho Tahat,
Bogdan Korel:
Dependence analysis in reduction of requirement based test suites.
ISSTA 2002: 107-111 |
| 2001 |
| 1 |  | Luay Ho Tahat,
Atef Bader,
Boris Vaysburg,
Bogdan Korel:
Requirement-Based Automated Black-Box Test Generation.
COMPSAC 2001: 489-495 |