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

(2017) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Selected Authors

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

Other Authors

Wehrle, Klaus

Identifier

  • REPORT NUMBER: RWTH-2018-01225