Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing.

Sébastien Salva Tien-Dung Cao

Published in: Int. J. Softw. Innov. (2014)

Keyphrases

formal verification
real time
symbolic execution
test generation
model checking
test cases
protocol specification
testing process
verification method
face verification
integration testing
monitoring system
data integration
information integration
test set
e learning
information systems
database