Author:
Yang Xu,Zhang Guofeng,Shuai Ziqi,Chen Zhenbang,Wang Ji
Reference55 articles.
1. High-precision floating-point arithmetic in scientific computation;D H Bailey;Comput. Sci. Eng,2005
2. The ariane 5 software failure;M Dowson;ACM SIGSOFT'97,1997
3. The real cost of software errors;M Zhivich;IEEE Secur. Priv,2009
4. Symbolic execution and program testing;J C King;Communications of the ACM,1976
5. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs;C Cadar;OSDI'08,2008