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