NLForSpec: Translating natural language descriptions into formal test case specifications

19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007

Volumn , Issue , 2007, Pages 129-134

  Leitão, Daniel ^a   Torres, Dante ^a   Barros, Flávia ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN ONTOLOGIES; FORMAL REPRESENTATIONS; MOBILE PHONE APPLICATIONS; NATURAL LANGUAGES; PROCESSING TOOLS; REQUIREMENTS DOCUMENT; SOFTWARE TEST PROCESS; TEST CASE SPECIFICATIONS;

APPLICATION PROGRAMS; KNOWLEDGE ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; TESTING; TOOLS;

SOFTWARE TESTING;

EID: 51849140766     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. The opennlp homepage, 2006. Available at http://opennlp.sourceforge.net/. Accessed on March 07, 2007.
2. J. Allen. Natural Language Understanding. The Benjamin Cummings Publishing Company, Inc, New York, NY, 1995.
3. C. Baker, C. Fillmore, and J. Lowe. The berkeley framenet project. In Proceedings of COLING/ACL, pages 86-90, Montreal, Canada, 1998.
4. J. Becker. The phrasal lexicon. In Proceedings of the Conference on Theoretical Issues in Natural Language Processing, pages 70-77, Cambridge, MA, 1975.
5. A. Bertolino, A. Polini, P. Inverardi, and H. Muccini. Towards anti-model-based testing. In Proceedings of the International Conference on Dependable Systems and Networks, pages 124-125, Florence, Italy, 2004.
6. W. R. Cyre, J. R. Armstrong, M. Manek-Honcharik, and M. Honcharik. Generating vhdl models from natural language descriptions. In Proceedings of the Euro- VHDL, pages 474-479, Grenoble, France, 1994.
7. R. Dale, H. L. Somers, and H. Moisl. Handbook of Natural Language Processing. Marcel Dekker, Inc, 2000.
8. C. J. Fillmore. Frame semantics and the nature of language. In Annals of the New York Academy of SciencesüConference on the Origin and Development of Language and Speech, pages 20-32, 1976.
9. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
10. Y. Ishihara, H. Seki, and T. A. Kasami. Translation method from natural language specifications into formal specifications using contextual dependencies. In Proceedings of IEEE International Symposium on Requirements Engineering, pages 232-239, 1992.
11. H. Liu. MontylinguaüAn end-to-end natural language processor with common sense, 2004. Available atüweb.media.mit.edu/hugo/montylingua. Accessed on March 07, 2007.
12. D. Long and R. Garigliano. Reasoning by Analogy and CausalityüModel and Applications. Ellis Horwood, Chichester, UK, 1994.
13. T. Massoni, V. Alves, S. Soares, and P. Borba. PdcüThe persistent data collections pattern. In First Latin American Conference on Pattern Languages of Programming, pages 232-239, Rio de Janeiro, Brazil, 2001.
14. L. Mich. Nl-oopsüFrom natural language to object oriented requirements using the natural language processing system lolita. Journal of Natural Language engineering, 2(2):161-187, 1996.
15. K. Toutanova, D. Klein, C. Manning, and Y. Singer. Feature-rich part-of-speech tagging with a cyclic dependency network. In Proceedings of HLT-NAACL, pages 252-259., 2003.