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

Publications

Year:

All :: 2012, 2016, 2017, 2018, ... , 2023

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

All :: Saad, ... , Scheitle, Schemmel, Scheurenberg, ... , Stüble

4.	Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, and Klaus Wehrle Floating-Point Symbolic Execution: A Case Study in N-Version Programming Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering October 2017 ISBN: 978-1-5386-2684-9/17
3.	Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Agila Bitsch Link, and Klaus Wehrle SymPerf: Predicting Network Function Performance ACM SIGCOMM 2017 Poster Los Angeles, USA, 21.8.2017 - 25.8.2017 Publisher: ACM, August 2017 DOI: 10.1145/3123878.3131977 ISBN: 978-1-4503-5057-0/17/08

Export as: