Polywit: The poly-language execution-based violation-witness validator - Moffatt, Joss; Wu, Tong; Cordeiro, Lucas; Schrammel, Peter