1. A multi-criteria decision making framework for real time model-based testing;Aboutrab,2010
2. Fault coverage measurement of a timed test case generation approach;Aboutrab,2010
3. GeTeX: a tool for testing real-time embedded systems using CAN applications;Aboutrab,2011
4. Specification mutation analysis for validating timed testing approaches based on timed automata;Aboutrab,2012
5. A theory of timed automata;Alur;Theoretical Computer Science,1994