A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements | IEEE Conference Publication | IEEE Xplore