Enabledness-based program abstractions for behavior validation
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide thei...
Guardado en:
| Autores principales: | De Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n3_p_DeCaso |
| Aporte de: |
Ejemplares similares
-
Enabledness-based program abstractions for behavior validation
por: de Caso, Guido, et al.
Publicado: (2013) -
Abstractions for validation in action
por: De Caso, G., et al. -
Abstractions for validation in action
por: de Caso, Guido, et al.
Publicado: (2012) -
Program abstractions for behaviour validation
por: De Caso, G., et al. -
Program abstractions for behaviour validation
por: de Caso, Guido, et al.
Publicado: (2011)