1. Antonia, B.: Software testing research: achievements, challenges, dreams. In: Future of Software Engineering, pp. 85–103. IEEE Computer Society, Washington (2007)
2. Myers, G.J.: The Art of Software Testing, 2nd edn. Wiley (2004)
3. Kernighan, B.W., Plauger, P.J.: The Elements of Programming Style. McGraw-Hill Inc, New York (1982)
4. Weyuker, E.J.: The applicability of program schema results to programs. Int. J. Parallel Prog. 8, 387–403 (1979)
5. Pasareanu, C.S., Visser, W., Bushnell, D., Geldenhuys, J., Mehlitz, P., Rungta, N.: Symbolic PathFinder: integrating symbolic execution with model checking for java bytecode analysis. Autom. Softw. Eng. J. (2013)