Mohammad Saeed Abou Trab

According to our database, Mohammad Saeed Abou Trab authored at least 6 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

2012

Software engineering : testing real-time embedded systems using timed automata based approaches.

Mohammad Saeed Abou Trab

PhD thesis, 2012

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

Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

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

Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

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

Proceedings of the Testing, 2010

Fault Coverage Measurement of a Timed Test Case Generation Approach.

Mohammad Saeed Abou Trab, Steve Counsell

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010