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

Publication
International Journal of Software Innovation