Floating-Point Symbolic Execution: A Case Study in N-Version Programming

Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle

October 2017

Type

Conference paper

Publication

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering