Towards traceability management in continuous integration with SAT-analyzer

I. D. Rubasinghe, D. A. Meedeniya, Indika Perera Perera. Towards traceability management in continuous integration with SAT-analyzer. In Jalel Ben-Othman, Feng Gang, Jain-Shing Liu, Masayuki Arai, editors, Proceedings of the 3rd International Conference on Communication and Information Processing, ICCIP 2017, Tokyo, Japan, November 24-26, 2017. pages 77-81, ACM, 2017. [doi]

Abstract

Abstract is missing.