Algorithmic Traceability Design