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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.