Consistency checking in requirements analysis

Jaroslav Bendík. Consistency checking in requirements analysis. In Tevfik Bultan, Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. pages 408-411, ACM, 2017. [doi]

Abstract

Abstract is missing.