Fault Coverage Measurement of a Timed Test Case Generation Approach. - Mohammad Saeed Abou Trab; Steve Counsell (ECBS, 2010)

A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. - Mohammad Saeed Abou Trab; Bachar Alrouh; Steve Counsell; Robert M. Hierons; George Ghinea (TAIC PART, 2010)

GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. - Mohammad Saeed Abou Trab; Steve Counsell; Robert M. Hierons (ECBS, 2011)

Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata. - Mohammad Saeed Abou Trab; Steve Counsell; Robert M. Hierons (COMPSAC, 2012)

Software engineering : testing real-time embedded systems using timed automata based approaches. - Mohammad Saeed Abou Trab (2012)

Testing Real-Time Embedded Systems using Timed Automata based approaches. - Mohammad Saeed Abou Trab; Michael J. Brockway; Steve Counsell; Robert M. Hierons (J. Syst. Softw., 2013)