Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.

Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo

Browse the full APSEC paper archive.