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

Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas. Tarski: a platform for automated analysis of dynamically configurable traceability semantics. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1607-1614, ACM, 2017. [doi]

Abstract

Abstract is missing.