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
相关论文
共 50 条
  • [41] A quantitative analysis for different testing criteria through program decomposition
    Chung, CM
    Shih, TK
    Wang, YH
    INFORMATION SCIENCES, 1996, 93 (3-4) : 211 - 233
  • [42] HELOW: A program for testing extreme homogeneity in meta-analysis
    Zintzaras, Elias
    Ioannidis, John P.
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 2014, 117 (02) : 383 - 386
  • [43] Program recognition and testing based on control-flow analysis
    Pai, WC
    NINTH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, 2003 PROCEEDINGS, 2003, : 70 - 74
  • [44] Software testing method based on domain analysis of specification and program
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2003, 40 (06):
  • [45] The second international workshop on automated program analysis, testing and verification
    Tracey, N
    Penix, J
    Visser, WC
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 755 - 755
  • [46] Soil analysis: Western States Proficiency Testing Program for 1996
    Hanson, D
    Kotuby-Amacher, J
    Miller, RO
    FRESENIUS JOURNAL OF ANALYTICAL CHEMISTRY, 1998, 360 (3-4): : 348 - 350
  • [47] Code Analysis with Static Application Security Testing for Python Program
    Li Ma
    Huihong Yang
    Jianxiong Xu
    Zexian Yang
    Qidi Lao
    Dong Yuan
    Journal of Signal Processing Systems, 2022, 94 : 1169 - 1182
  • [48] Application of mutation analysis to evaluation of program-testing quality
    Korchemnyi, D.I.
    Programming and computer software, 1992, 17 (03) : 177 - 183
  • [49] AUTOMATING SOFTWARE ANALYSIS AND TESTING USING A PROGRAM TRANSFORMATION SYSTEM
    KOTIK, GB
    MARKOSIAN, LZ
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 75 - 84
  • [50] APPLICATION OF MUTATION ANALYSIS TO EVALUATION OF PROGRAM-TESTING QUALITY
    KORCHEMNYI, DI
    PROGRAMMING AND COMPUTER SOFTWARE, 1991, 17 (03) : 177 - 183
12345