Automatic detection of incomplete requirements via symbolic analysis
Requirements Engineering: From System Goals to UML Models to Software Specifications