Floating-point symbolic execution: a case study in n-version programming. - Daniel Liew; Daniel Schemmel; Cristian Cadar; Alastair F. Donaldson; Rafael Zähl; Klaus Wehrle (ASE, 2017)