1. IEEE: IEEE Standard for Software and System Test Documentation. IEEE Std 829-2008 (2008)
2. Myers, G., Sandler, C., Badgett, T., Thomas, T.: The Art of Software Testing, 2nd edn. Wiley (2004) ISBN: 978-0-4714-6912-4
3. Dijkstra, E.: Notes on structured programming. Technical Report EWD249, Eindhoven University of Technology (1970)
4. Lecture Notes in Computer Science;J. Tretmans,2008
5. Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A formal evaluation of data flow path selection criteria. IEEE Transactions on Software Engineering 15(11), 1318–1332 (1989)