Login / Signup

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

Benedikt WalterJakob HammesMarco PiechottaStephan Rudolph
Published in: RE (2017)
Keyphrases