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

Piscataway, NJ / IEEE (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

ASE'17 : proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering : October 30-November 3, 2017, Urbana-Champaign, IL, USA / edited by: Grigore Rosu, Massimiliano Di Penta, and Tien N. Nguyen ; sponsored by: ACM SIGSOFT, ACM SIGAI, IEEE, and IEEE Computer Society
Seite(n): 601-612

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

Wehrle, Klaus

Identifikationsnummern