- Record: found
- Abstract: not found
- Article: not found
Methodology for the Generation of Program Test Data
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references3
- Record: found
- Abstract: not found
- Article: not found
An Assessment of Techniques for Proving Program Correctness
Bernard Elspas, Karl N. Levitt, Richard Waldinger … (1972)
- Record: found
- Abstract: not found
- Article: not found
Solvability and Consistency for Linear Equations and Inequalities
H. Georg Kuhn (1956)
- Record: found
- Abstract: not found
- Article: not found
Comparing the effectiveness of testing methods in improving programs the effect of variations in program quality
M Pizza, L Strigini (2024)