1. Alexander, R., Hawkins, H., Rae, D.: Situation coverage - a coverage criterion for testing autonomous robots. Technical report, Department of Computer Science, University of York (2015)
2. Lecture Notes in Computer Science;D Araiza-Illan,2015
3. Bird, D., Munoz, C.: Automatic generation of random self-checking test cases. IBM Syst. J. 22(3), 229–245 (1983)
4. Boren, J., Cousins, S.: The SMACH high-level executive. IEEE Robot. Autom. Mag. 17(4), 18–20 (2010)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)