Palak Ambade, Diptiben Solanki, Novarun Deb. RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment. In 29th IEEE International Requirements Engineering Conference, RE 2021, Notre Dame, IN, USA, September 20-24, 2021. pages 452-453, IEEE, 2021. [doi]
Abstract is missing.