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

Piscataway, NJ / IEEE (2017) [Contribution to a book, Contribution to a conference proceedings]

ASE'17 : proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering : October 30-November 3, 2017, Urbana-Champaign, IL, USA / edited by: Grigore Rosu, Massimiliano Di Penta, and Tien N. Nguyen ; sponsored by: ACM SIGSOFT, ACM SIGAI, IEEE, and IEEE Computer Society
Page(s): 601-612


Selected Authors

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

Other Authors

Wehrle, Klaus