1. JUnit.org Resources for Test Driven Development,
http://junit.org/
(last access November 2011)
2. Lecture Notes in Computer Science;N. Amálio,2004
3. Lecture Notes in Computer Science;N. Amálio,2006
4. Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the Tokeneer enclave protection software. In: Proceedings of the IEEE International Symposium on Secure Software Engineering. IEEE (2006)
5. Bartetzko, D., Fischer, C., Möller, M., Wehrheim, H.: Jass - java with assertions. Electr. Notes Theor. Comput. Sci. 55(2), 103–117 (2001)