This is an unofficial reimagining of the Archive of Formal Proofs
Regression Test Selectionby Susannah Mansky
JinjaDCI: a Java semantics with dynamic class initializationby Susannah Mansky