Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo - Symbolic - Document - PDFSEARCH.IO

First Page	Meta Content
	Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo Add to Reading List Document Date: 2017-10-17 05:46:31 Open Document File Size: 243,88 KB Share Result on Facebook

Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College LoAdd to Reading List