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 (RE, 2017)

Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps. - Benedikt Walter; Maximilian Schilling; Marco Piechotta; Stephan Rudolph (ICST, 2018)