Demonstrating the effectiveness of MOSES for separation of execution modes.

Giovanni Russello, Mauro Conti, Bruno Crispo, Earlence Fernandes, Yury Zhauniarovich

Browse the full CCS paper archive.