RVElastic: a Runtime Verification Framework for Microservice Systems.

Stefano Murino, Angelo Ferrando, Giacomo Cabri

Browse the full WETICE paper archive.