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)

Understanding Modifications in State-Based Models. - Bogdan Korel; Luay Ho Tahat (IWPC, 2004)

Test Prioritization Using System Models. - Bogdan Korel; Luay Ho Tahat; Mark Harman (ICSM, 2005)

Model-based test prioritization heuristic methods and their evaluation. - Bogdan Korel; George Koutsogiannakis; Luay Ho Tahat (A-MOST, 2007)

Dual mode service: Learning from integrating an IP multimedia subsystem service into existing live networks. - Luay Ho Tahat; Erik E. Anderlind; Ashok P. Shah; Anthony J. Wycklendt; Edward A. Clark; Dupyo Choi (Bell Labs Tech. J., 2007)

Application of system models in regression test suite prioritization. - Bogdan Korel; George Koutsogiannakis; Luay Ho Tahat (ICSM, 2008)

Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams. - Zaid Altahat; Tzilla Elrad; Luay Tahat 001 (SEKE, 2008)

Regression test suite prioritization using system models. - Luay Ho Tahat; Bogdan Korel; Mark Harman; Hasan Ural (Softw. Test. Verification Reliab., 2012)

Detection of Syntactic Aspect Interaction in UML State Diagrams Using Critical Pair Analysis in Graph Transformation. - Zaid Altahat; Tzilla Elrad; Luay Tahat 001; Nada Almasri (CoRR, 2013)

The ethical attitudes of information technology professionals: a comparative study between the USA and the Middle East. - Luay Tahat 001; Mohammad I. Elian; Nabeel N. Sawalha; Fuad N. Al-Shaikh (Ethics Inf. Technol., 2014)

Maintenance-Oriented Classifications of EFSM Transitions. - Nada Almasri; Luay Tahat 001; Mohammad Alshraideh (J. Softw., 2016)

Toward automatically quantifying the impact of a change in systems. - Nada Almasri; Luay Tahat 001; Bogdan Korel (Softw. Qual. J., 2017)

State-based models in regression test suite prioritization. - Luay Tahat 001; Bogdan Korel; George Koutsogiannakis; Nada Almasri (Softw. Qual. J., 2017)

How Can Technology Support Education in War - WarAware Education Platform for Syria. - Nada Almasri; Luay Tahat 001; Laila AlTerkawi (I3E, 2018)

Automatically quantifying the impact of a change in systems (journal-first abstract). - Nada Almasri; Luay Tahat 001; Bogdan Korel (ASE, 2018)

Towards Minimizing the Impact of Changes Using Search-Based Approach. - Bogdan Korel; Nada Almasri; Luay Tahat 001 (SSBSE, 2018)

Verification Approach for Refactoring Transformation Rules of State-Based Models. - Nada Almasri; Bogdan Korel; Luay Tahat 001 (IEEE Trans. Software Eng., 2022)