Numerical program analysis and testing

Zheng Gao
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
Numerical software is playing an increasingly critical role in modern society, but composing correct numerical programs is difficult. This paper describes a doctoral research program that aims to alleviate this issue. It tackles real world problems and is guided by features learned from empirically studying these programs. By assisting developers in the production of numerical software, it improves the quality and productivity of software development. The research depends on numerical analysis
more » ... nd lies in the intersection of software engineering and program analysis.
doi:10.1145/2635868.2666603 dblp:conf/sigsoft/Gao14 fatcat:kga2xtkwvvfz7iipn2u2r5medi