Rafael Zähl

According to our database, Rafael Zähl authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Floating-point symbolic execution: a case study in n-version programming.

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

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