Floating-point symbolic execution: A case study in N-version programming

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zahl, Klaus Wehrle

Journal title: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

Journal publisher: IEEE

Published year: 2017

Published pages: 601-612

DOI identifier: 10.1109/ase.2017.8115670

ISBN: 978-1-5386-2684-9