RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment.

Palak Ambade, Diptiben Solanki, Novarun Deb

Browse the full RE paper archive.