Andreea Vescan, Camelia Serban, Camelia Chisalita-Cretu, Laura Diosan. Requirement dependencies-based formal approach for test case prioritization in regression testing. In 13th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2017, Cluj-Napoca, Romania, September 7-9, 2017. pages 181-188, IEEE, 2017. [doi]
Abstract is missing.