Sébastien Salva and Tien-Dung Cao: Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing. (2014)journals/ijsinnov/SalvaC1410.4018/IJSI.2014040102Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing.2Sébastien Salva1Tien-Dung Cao220-42Int. J. Softw. Innov.Int. J. Softw. Innov.222014provenance information for RDF data of dblp record 'journals/ijsinnov/SalvaC14'2020-04-09T17:10:44+0200