The T-experiments: errors in scientific software

Extensive tests showed that many software codes widely used in science and engineering are not as accurate as we would like to think. It is argued that better software engineering practices would help solve this problem, but realizing that the problem exists is an important first step.

[1]  Brian A. Nejmeh,et al.  NPATH: a measure of execution path complexity and its applications , 1988, CACM.

[2]  Les Hatton,et al.  Reexamining the Fault Density-Component Size Connection , 1997, IEEE Softw..

[3]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[4]  Les Hatton,et al.  Safer C - developing software for high-integrity and safety-critical systems , 1995, McGrawHill international series in software engineering.

[5]  Carlo Ghezzi,et al.  Programming language concepts (2nd ed.) , 1986 .

[6]  Leslie Hatton Computer Programming Languages and Safety-Related Systems , 1995 .

[7]  Shari Lawrence Pfleeger,et al.  Investigating the Influence of Formal Methods , 1997, Computer.

[8]  Andrew Koenig,et al.  C Traps and Pitfalls , 1989 .

[9]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[10]  M. Braga,et al.  Exploratory Data Analysis , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[11]  Robert Laws,et al.  The seismic kernel system — a large‐scale exercise in fortran 77 portability , 1988, Softw. Pract. Exp..

[12]  K. M. Barry,et al.  RECOMMENDED STANDARDS FOR DIGITAL TAPE FORMATS , 1975 .

[13]  Andy Roberts,et al.  Analyzing the Agreement Between Data Processing Packages: The Enterprise Seismic Software Calibration Experiment , 1992 .

[14]  Andy Roberts,et al.  How Accurate Is Scientific Software? , 1994, IEEE Trans. Software Eng..

[15]  Leslie Hatton Safer C: Developing for High-Integrity and Safety-Critical Systems , 1995 .

[16]  Carlo Ghezzi,et al.  Programming language concepts , 1982 .