Requirement-Based Automated Black-Box Test Generation. - Luay Ho Tahat; Atef Bader; Boris Vaysburg; Bogdan Korel (COMPSAC, 2001)

Model Based Regression Test Reduction Using Dependence Analysis. - Bogdan Korel; Luay Ho Tahat; Boris Vaysburg (ICSM, 2002)

Dependence analysis in reduction of requirement based test suites. - Boris Vaysburg; Luay Ho Tahat; Bogdan Korel (ISSTA, 2002)

Slicing of State-Based Models. - Bogdan Korel; Inderdeep Singh; Luay Ho Tahat; Boris Vaysburg (ICSM, 2003)