Numerical Program Analysis and Testing

被引：0
作者：
Gao, Zheng [1 ]
机构：
[1] UCL, Gower St, London WC1E 6BT, England
来源：
22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014) | 2014年
关键词：
Numerical program; real encoding; static analysis; testing; SYMBOLIC EXECUTION;
D O I：
10.1145/2635868.2666603
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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 and lies in the intersection of software engineering and program analysis.
引用
收藏
页码：779 / 782
页数：4
相关论文
共 26 条
[1]  
[Anonymous], 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA), DOI [10.1145/1146238.1146256, DOI 10.1145/1146238.1146256]
[2]  
Bao T, 2013, ACM SIGPLAN NOTICES, V48, P817, DOI [10.1145/2509136.2509526, 10.1145/2544173.2509526]
[3]   Automatic Detection of Floating-Point Exceptions [J].
Barr, Earl T. ;
Thanh Vo ;
Vu Le ;
Su, Zhendong .
ACM SIGPLAN NOTICES, 2013, 48 (01) :549-560
[4]   Symbolic execution of floating-point computations [J].
Botella, Bernard ;
Gotlieb, Arnaud ;
Michel, Claude .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2006, 16 (02) :97-121
[5]  
Chen Tsong Yueh, 1998, TECHNICAL REPORT HKU
[6]  
COMBA J.L. D., 1993, P SIBGRAPI, P9
[7]  
Cousot Patrick, 1977, POPL, DOI DOI 10.1145/512950.512973
[8]  
DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]
[9]  
Edalat A., 1997, ELECTRON NOTES THEOR, V6, P119, DOI [10.1016/S1571-0661(05)80166-5, DOI 10.1016/S1571-0661(05)80166-5]
[10]  
Emerson E. A., 1980, CHARACTERIZING CORRE
123