Proxy-Monitor: An integration of runtime verification with passive conformance testing. - Université Clermont Auvergne
Article Dans Une Revue International Journal of Software Innovation Année : 2014

Proxy-Monitor: An integration of runtime verification with passive conformance testing.

Domaines

Informatique [cs] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
art.pdf (1.31 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

sébastien salva  : Connectez-vous pour contacter le contributeur

https://uca.hal.science/hal-02019712

Soumis le : jeudi 14 février 2019-16:52:34

Dernière modification le : samedi 22 avril 2023-04:31:09

Archivage à long terme le : mercredi 15 mai 2019-18:36:48

Télécharger pour visualiser

Dates et versions

hal-02019712 , version 1 (14-02-2019)

Identifiants

  • HAL Id : hal-02019712 , version 1

Citer

Sébastien Salva, Tien-Dung Cao. Proxy-Monitor: An integration of runtime verification with passive conformance testing.. International Journal of Software Innovation, 2014. ⟨hal-02019712⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS CLERMONT-AUVERGNE-INP
46 Consultations
59 Téléchargements

Partager

More