Summary

Error classifications:

• failure to satisfy specifications due to implementation error
• failure to write specifications that correctly represent a design
• failure to understand a requirement
• failure to satisfy a requirement.

Error are always reflected in programs as:

[Paper Reading] Investigations of the Software Testing Coupling Effect

Two principles/hypothesis:

• Competent Programmer Hypothesis
  • Since examples of complex faults that are not coupled to simple faults can be constructed, the coupling effect is probabilistic rather than absolute.
• Coupling Effect

Testing and Mutation Testing on GPU kernels

Goal: How existing test theory can be used and adapted to the specific use case of GPU kernels.

Two directions

• What would be useful coverage criteria to estimate the quality of test suites. ✅
• The generation of test cases based on either code inspection or user-defined properties.