Benedikt Walter, Jakob Hammes, Marco Piechotta, Stephan Rudolph. A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements. In 25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017. pages 263-272, IEEE Computer Society, 2017. [doi]
Abstract is missing.