MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings