Luay H. Tahat, Erik E. Anderlind, et al, ”Dual mode service: Learning from integrating an IP multimedia subsystem service into existing live networks,” Bell Labs Technical Journal. Vol 11.4 (2007):135-150

B. Korel, G. Koutsogiannakis, Luay Tahat, “Prioritization Algorithms for Regression Testing in Model Based Systems,” to be presented in the 3rd ACM conference on Advances in Model Based Testing (A-MOST), July 2007, London, UK

Bogdan Korel, Luay Tahat, “Model-Based Test Prioritization Using System Model.” Proceedings of IEEE International Conference on Software Maintenance, ICSM 2005, Budapest, Hungary: 559-568

 Korel, B., Tahat, L., “Understanding Modifications in State-Based Model.” Proc. of the 12th IEEE International Conf. on Program Comprehension (IWPC’04), September 2004:246-250

 Korel, B., Tahat, L., Inderdeep S., “Slicing of State-Based Model.” Proceedings of IEEE International Conference on Software Maintenance, ICSM 2003, September 2003:34-43

B. Korel, L. Tahat, B. Vaysburg, “Model Based Regression Test Reduction Using Dependence Analysis.” Proceedings of the IEEE International Conference on Software Maintenance (ICSM), Montreal, Canada, October 2002:214-233

L. Tahat, B. Vaysburg, B. Korel, “Dependence Analysis in Reduction of Requirement Based Test Suite,” ACM International Conference on Software testing (ISSTA), Rome, Italy, 2002:107-111

L. Tahat, et al, “Requirement-Based Automating Black-Box Test Generation.” Proceeding of the 25th IEEE International Computer Software and Applications Conference (COMPSAC 2001), Chicago, USA, October, 2001:489-496

B. Vaysburg, L. Tahat, B. Korel, A. Bader, “Automating Test Case Generation from SDL Specification.” Proceedings of the 17th International Conference on Testing Computer Software, pp. 141-153, Washington, USA, June, 2001