Contractor.NET: Inferring typestate properties to enrich code contracts

In this work we present Contractor.NET, a Visual Studio extension that supports the construction of contract specifications with typestate information which can be used for verification of client code. Contractor.NET uses and extends Code Contracts to provide stronger contract specifications. It fea...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Zoppi, E., Braberman, V., De Caso, G., Garbervetsky, D., Uchitel, S.
Formato: CONF
Materias:
Contract strengthening
Enabledness abstractions
Typestate inference
Client code
Contract specifications
Finite state
Level of abstraction
MicroSoft
Software artifacts
Source codes
Two-step process
Typestate
Visual studios
Abstracting
Windows operating system
Specifications
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p44_Zoppi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares