To conclude the book, a synopsis of the work is given. It is then checked whether the research questions stated in Sect. 1.3 were answered and how the book and the mentioned papers contributed to the body of knowledge. Eventually, findings are briefly discussed and research’s limitations are sketched.
- 1.Bloch, J.: Effective Java, 2nd edn. Prentice Hall, Upper Saddle River (2008)Google Scholar
- 2.Oracle: How to write Doc comments for the Javadoc tool (2004). http://www.oracle.com/technetwork/java/javase/documentation/index-137868.html
- 3.Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Prentice Hall, Englewood Cliffs (1999).Google Scholar
- 4.Bäumler, S., Balser, M., Nafz, F., Reif, W., Schellhorn, G.: Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2–3), 285–307 (2010)Google Scholar
- 5.Vernier, I.: Symbolic executions of symmetrical Parallel Programs. In: Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP ’96), PDP ’96, pp. 327. IEEE Computer Society, Washington, DC (1996)Google Scholar
- 6.Siegel, S.F., Mironova, A., Avrunin, G.S., Clarke, L.A.: Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17(2), 10:1–10:34 (2008)Google Scholar
- 7.Staats, M., Pǎsǎreanu, C.: Parallel symbolic execution for structural test generation. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA ’10, pp. 183–194. ACM, New York (2010)Google Scholar