Abstract: We present an approach to generate assertions from natural language specifications by performing semantic analysis of sentences in the ... inside these subtrees to fill a set of assertion ...