A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements.

Benedikt Walter, Jakob Hammes, Marco Piechotta, Stephan Rudolph

Browse the full RE paper archive.