23su_acto_acceptance

Created in July 15, 2023

2023

Our paper “Automatic Testing for Correct Operations of Cloud Systems” is accepted by SOSP 2023! See you in Germany!