Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware Runtime Verification
Automated software engineering increasingly relies on behavioral models derived from execution logs to support runtime monitoring, predictive analysis, and formal verification. However, constraints derived from such models may be unsuitable for strict runtime enforcement. We investigate this issue in constraint-aware n...