Mohammad Saeed Abou Trab

Fault Coverage Measurement of a Timed Test Case Generation Approach

Steve Counsell, Mohammad Saeed Abou Trab, 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata

Robert M. Hierons, Steve Counsell, Mohammad Saeed Abou Trab, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference.

Testing Real-Time Embedded Systems using Timed Automata based approaches

Robert M. Hierons, Steve Counsell, Mohammad Saeed Abou Trab, 2013, J. Syst. Softw..

A Multi-criteria Decision Making Framework for Real Time Model-Based Testing

Robert M. Hierons, George Ghinea, Steve Counsell, 2010, TAIC PART.

GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications

Robert M. Hierons, Steve Counsell, Mohammad Saeed Abou Trab, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.