1. T. Dalgleish , Introduction to Software Testing , vol. 136 , no. 1. 2007. T. Dalgleish et al., Introduction to Software Testing, vol. 136, no. 1. 2007.
2. T. O. F. Contents "Journal of Systems and Software." pp. 1--12 2011. T. O. F. Contents "Journal of Systems and Software." pp. 1--12 2011.
3. S. Groning , C. Rosas , and C. Wietfeld , " Validating electric vehicle to grid communication systems based on model checking assisted test case generation," 2017 IEEE Int . Symp. Syst. Eng. ISSE 2017 - Proc. , 2017 S. Groning, C. Rosas, and C. Wietfeld, "Validating electric vehicle to grid communication systems based on model checking assisted test case generation," 2017 IEEE Int. Symp. Syst. Eng. ISSE 2017 - Proc., 2017
4. A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice
5. L. Zhao and D. Gao , " GUI test case generation based on Activity-Flow Graph," Proc . IEEE Int. Conf. Softw. Eng. Serv. Sci. ICSESS, no. 91118007 , pp. 738 -- 741 , 2017 . L. Zhao and D. Gao, "GUI test case generation based on Activity-Flow Graph," Proc. IEEE Int. Conf. Softw. Eng. Serv. Sci. ICSESS, no. 91118007, pp. 738--741, 2017.