RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment.
Palak AmbadeDiptiben SolankiNovarun DebPublished in: RE (2021)
Keyphrases
- model selection
- complex systems
- statistical models
- real time
- model validation
- neural network
- probabilistic model
- statistical shape model
- constraint satisfaction
- web environment
- regression method
- gaussian processes
- linear regression
- bayesian framework
- constraint programming
- statistical model
- dynamic environments
- data sets