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

Openings

Research @ COMSYS

Research Groups

Research Overview

Publications

Year:

All :: 2017

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, Ö

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

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

October 2017

ISBN: 978-1-5386-2684-9/17

Export as:

- Impressum | Datenschutz -