Floating-point symbolic execution: a case study in n-version programming
@inproceedings{DBLP:conf/kbse/LiewSCDZW17,
author = {Daniel Liew and
Daniel Schemmel and
Cristian Cadar and
Alastair F. Donaldson and
Rafael Z{\"{a}}hl and
Klaus Wehrle},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Floating-point symbolic execution: a case study in n-version programming},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017},
pages = {601-612},
publisher = {{IEEE} Computer Society},
year = {2017},
doi = {10.1109/ASE.2017.8115670},
}