1. Ammann, P., & Offutt, J. (2016). Introduction to software testing. Cambridge University Press.
2. Anand, S., Păsăreanu, C. S., & Visser, W. (2007). JPF–SE: a symbolic execution extension to Java Pathfinder. In International conference on tools and algorithms for the construction and analysis of systems. Berlin: Springer.
3. Barwise, J., & Shimojima, A. (1995). Surrogate reasoning. Cognitive Studies: Bulletin of the Japanese Cognitive Science Society, 2(4), 7–27.
4. Bjørner, N., & de Moura, L.. (2008). Z3: an efficient SMT solver. Tools and algorithms for the construction and analysis of systems (TACAS ‘08).
5. Chow, S., & Ruskey, F. (2003). Drawing area-proportional Venn and Euler diagrams (International symposium on graph drawing). Berlin: Springer.