An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Programming language concepts (2nd ed.)
Programming language concepts (2nd ed.)
NPATH: a measure of execution path complexity and its applications
Communications of the ACM
The seismic kernel system—a large-scale exercise in Fortran 77 portability
Software—Practice & Experience
How Accurate is Scientific Software?
IEEE Transactions on Software Engineering
Safer C: Developing Software for in High-Integrity and Safety-Critical Systems
Safer C: Developing Software for in High-Integrity and Safety-Critical Systems
Reexamining the Fault Density-Component Size Connection
IEEE Software
Computational Verifiability and Feasibility of the ASCI Program
IEEE Computational Science & Engineering
A Critical Look at Quality in Large-Scale Simulations
Computing in Science and Engineering
Exploring the Role of Diagnosis in Software Engineering
IEEE Software
Using computer algebra systems in the development of scientific computer codes
Future Generation Computer Systems - Special section: Selected papers from the TERENA networking conference 2002
Value-maximizing deadline scheduling and its application to animation rendering
Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures
Simulation of visible and ultra-violet group-III nitride light emitting diodes
Journal of Computational Physics
On the Role and Place of Computation in Science and Engineering
Computing in Science and Engineering
A grid-free abstraction of the Navier-Stokes equations in Fortran 95/2003
ACM Transactions on Mathematical Software (TOMS)
Verification of a fluid-dynamics solver using correlations with linear stability results
Journal of Computational Physics
Formal constraints on memory management for composite overloaded operations
Scientific Programming
Modeling Input Space for Testing Scientific Computational Software: A Case Study
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Towards analysis-driven scientific software architecture: The case for abstract data type calculus
Scientific Programming - Complexity in Scalable Computing
| Hi-index | 0.01 |
Presented (in preliminary form) at the IEEE Computer Society Workshop on Computational Science & Engineering, Oct. 1996, Purdue University, by John Rice. Extensive tests showed that many software codes widely used in science and engineering are not as accurate as we would like to think. Better software engineering practices would help solve this problem, but realizing that the problem exists is an important first step.