Automated Identification of LTL Patterns in Natural Language Requirements

Allen P. Nikora, Galen Balcom. Automated Identification of LTL Patterns in Natural Language Requirements. In ISSRE 2009, 20th International Symposium on Software Reliability Engineering, Mysuru, Karnataka, India, 16-19 November 2009. pages 185-194, IEEE Computer Society, 2009. [doi]

Authors

Allen P. Nikora

This author has not been identified. Look up 'Allen P. Nikora' in Google

Galen Balcom

This author has not been identified. Look up 'Galen Balcom' in Google