Semantic Scholar uses AI to extract papers important to this topic.
The latest release of NWChem delivers an open-source computational chemistry package with extensive capabilities for large scale… Expand This article and the associated data and programs provided with it are intended to assist color engineers and scientists in… Expand Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the… Expand A survey of pre/post-test data using the Halloun–Hestenes Mechanics Diagnostic test or more recent Force Concept Inventory is… Expand The authors extend the definitions of the previously introduced family of data flow testing criteria to apply to programs written… Expand This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those… Expand In many cases tests of a program that uncover simple errors are also effective in uncovering much more complex errors. This so… Expand This paper describes a system that attempts to generate test data for programs written in ANSI Fortran. Given a path, the system… Expand For numerical programs, or more generally for programs with floating-point data, it may be that large savings of time and storage… Expand Examines the theoretical and practical role of testing in software development. The authors prove a fundamental theorem showing… Expand