automated analysis

Tarski: A platform for automated analysis of dynamically configurable traceability semantics

Traceability can be defined as the degree to which a relationship can be established among work products of the development process. …

Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas