The papers below represent an important, but an incomplete selection of works in the scope of the module. Some, but not all of them will be discussed.

Not interested in presenting any of the papers, or enthusiastic about a topic or paper not represented in the list? Reach out to with suggestions.

Differential Testing

Metamorphic Testing

Isolation-level Testing

Recommended primarily for presenters with knowledge of isolation levels.

Other Testing and Test Oracle Approaches

Test Case Generation & Fuzzing

Debugging and IDEs

Formal Methods and Verification

Recommended primarily for presenters with a background in PL semantics.

Compilation & Optimization

Empirical Studies