Tarski: a platform for automated analysis of dynamically configurable traceability semantics.

Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tzn, Geylani Kardas

Browse the full SAC paper archive.