TY - RPRT TI - ARSENAL: Automatic Requirements Specification Extraction from Natural Language AU - Shalini Ghosh AU - Daniel Elenius AU - Wenchao Li AU - Patrick Lincoln AU - Natarajan Shankar AU - Wilfried Steiner PY - 2016 UR - https://arxiv.org/abs/1403.3142 ID - 1403.3142 ER -