×
2021
RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment.
[DOI]
Palak Ambade
,
Diptiben Solanki
,
Novarun Deb
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021