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

Document type :
Journal articles
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.uca.fr/hal-02019712
Contributor : Sébastien Salva <>
Submitted on : Thursday, February 14, 2019 - 4:52:34 PM
Last modification on : Monday, January 20, 2020 - 12:12:06 PM
Long-term archiving on: Wednesday, May 15, 2019 - 6:36:48 PM

File

art.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02019712, version 1

Citation

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

Share

Metrics

Record views

27

Files downloads

23