Runtime verification for generic classes with CONGU2

Authors:
Pedro Crispim;Antónia Lopes;Vasco T. Vasconcelos
Affiliations:
LaSIGE and Faculty of Sciences, University of Lisbon, Lisboa, Portugal;LaSIGE and Faculty of Sciences, University of Lisbon, Lisboa, Portugal;LaSIGE and Faculty of Sciences, University of Lisbon, Lisboa, Portugal
Venue:
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Year:
2010

Citing 11
Cited 1

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Automatically Checking an Implementation against Its Formal Specification

IEEE Transactions on Software Engineering
From Specifications to Code in CASL

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Runtime verification of .NET contracts

Journal of Systems and Software - Special issue on: Component-based software engineering
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
How the design of JML accommodates both runtime assertion checking and formal verification

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Just say 'A Class Defines a Data Type'

Communications of the ACM - Urban sensing: out of the woods
Testing Java Components based on Algebraic Specifications

ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

Runtime Verification
Checking the conformance of java classes against algebraic specifications

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Java-MOP: a monitoring oriented programming environment for java

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Specification-Driven unit test generation for java generic classes

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Even though generics became quite popular in mainstream objectoriented (OO) languages, approaches for checking at runtime the conformance of such programs against formal specifications still lack appropriate support. In order to overcome this limitation within CONGU, a tool-based approach we have been developing to support runtime conformance checking of Java programs against algebraic specifications, we recently proposed a notion of refinement mapping that allows to define correspondences between parametric specifications and generic classes. Based on such mappings, we also put forward a notion of conformance between the two concepts. In this paper we present how the new notion of conformance is supported by version 2 of the CONGU tool.