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]

Authors

Ferhat Erata

This author has not been identified. Look up 'Ferhat Erata' in Google

Moharram Challenger

This author has not been identified. Look up 'Moharram Challenger' in Google

Bedir Tekinerdogan

This author has not been identified. Look up 'Bedir Tekinerdogan' in Google

Anne Monceaux

This author has not been identified. Look up 'Anne Monceaux' in Google

Eray Tüzün

This author has not been identified. Look up 'Eray Tüzün' in Google

Geylani Kardas

This author has not been identified. Look up 'Geylani Kardas' in Google