Runtime verification for generic classes with ConGu 2

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6527 LNCS, Issue , 2011, Pages 33-48

  Crispim, Pedro ^a   Lopes, Antónia ^a   Vasconcelos, Vasco T ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC SPECIFICATIONS; CONFORMANCE CHECKING; FORMAL SPECIFICATION; GENERIC CLASS; JAVA PROGRAM; OBJECT ORIENTED; REFINEMENT MAPPING; RUN-TIME VERIFICATION; RUNTIMES;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

FORMAL METHODS;

EID: 79953031047     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19829-8_3     Document Type: Conference Paper

References (19)

1. Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering 26(1), 55-69 (2000) (Pubitemid 30584680)
2. Aspinall, D., Sannella, D.: From specifications to code in CASL. In: Kirchner, H., Ringeissen, 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 adaptable systems. In: Proc. ACM SIGOPS France Journées Composants 2002: Systèmes à composants 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) (Pubitemid 41282531)
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 Verification 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); (Pubitemid 351357110)
14. see also Forum in Communications of the ACM 51(5), 9-10 (2008)
15. Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming 55(1-3), 185-208 (2005) (Pubitemid 40178264)
16. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall PTR, Englewood Cliffs (1997)
17. 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)
18. 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.) ICFEM2006. LNCS, vol. 4260, pp. 494-513. Springer, Heidelberg (2006) (Pubitemid 44860769)
19. Yu, B., King, L., Zhu, H., Zhou, B.: Testing Java components based on algebraic specifications. In: Proc. International Conference on Software Testing, Verification and Validation, pp. 190-198. IEEE, Los Alamitos (2008)