Using Models at Run Time to Detect Incomplete and Inconsistent Requirements
Automatic detection of incomplete requirements via symbolic analysis