Runtime Verification for Generic Classes with CONGU2 - Formal Methods: Foundations and Applications - page 48

Acknowledgement
This work was partially supported by FCT through the project Q UEST (PTDC/EIA-
EIA/103103/2008).
References
1. Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specifi-
cation. IEEE Transactions on Software Engineering 26(1), 55-69 (2000)
2. Aspinall, D., Sannella, D.: From specifications to code in CASL. In: Kirchner, H., Ringeis-
sen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 1-14. Springer, Heidelberg (2002)
3. Barnett, M., Schulte, W.: Runtime verification of .NET contracts. Journal of Systems and
Software 65(3), 199-208 (2003)
4. Bidoit, M., Mosses, P. (eds.): CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg
(2004)
5. Bracha, G.: Generics in the Java programming language (2004),
ava.sun.com/j2se/1.5/pdf/generics-tutorial.pdf
6. Bruneton, E., Lenglet, R., Coupaye, T.: ASM: A code manipulation tool to implement adapt-
able systems. In: Proc. ACM SIGOPS France Journees Composants 2002: Systemes `acom-
posants adaptables et extensibles (2002)
7. Chen, F., Ro¸u, G.: Java-MOP: A monitoring oriented programming environment for Java.
In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 546-550. Springer,
Heidelberg (2005)
8. Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language
(JML). In: Proc. International Conference on Software Engineering Research and Practice
(SERP 2002), pp. 322-328. CSREA Press (2002)
9. Cok, D.R.: Adapting JML to generic types and Java 1.6. In: Proc. Specification and Verifica-
tion of Component-Based Systems Workshop (2008)
10. Contract Based System Development, http://gloss.di.fc.ul.pt/congu/
11. Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn.
Prentice-Hall, Englewood Cliffs (2005)
12. Henkel, J., Diwan, A.: Discovering algebraic specifications from Java classes. In: Cardelli,
L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 431-456. Springer, Heidelberg (2003)
13. Hu, C.: Just say a class defines a data type. Communications of the ACM 51(3), 19-21
(2008); see also Forum in Communications of the ACM 51(5), 9-10 (2008)
14. Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML ac-
commodates both runtime assertion checking and formal verification. Science of Computer
Programming 55(1-3), 185-208 (2005)
15. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall PTR, Englewood
Cliffs (1997)
16. Nunes, I., Lopes, A., Vasconcelos, V.T.: Bridging the gap between algebraic specification and
object-oriented generic programming. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS,
vol. 5779, pp. 115-131. Springer, Heidelberg (2009)
17. Nunes, I., Lopes, A., Vasconcelos, V., Abreu, J., Reis, L.S.: Checking the conformance of
Java classes against algebraic specifications. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006.
LNCS, vol. 4260, pp. 494-513. Springer, Heidelberg (2006)
18. Yu, B., King, L., Zhu, H., Zhou, B.: Testing Java components based on algebraic specifica-
tions. In: Proc. International Conference on Software Testing, Verification and Validation,
pp. 190-198. IEEE, Los Alamitos (2008)