RETNA: From requirements to testing in a natural way

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 262-271

  Boddu, Ravishankar ^a   Guo, Lan ^a   Mukhopadhyay, Supratik ^a   Cukic, Bojan ^a  

^a WEST VIRGINIA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA IMPLEMENTATION; NATURAL LANGUAGES; RETNA; SOFTWARE REQUIREMENTS SPECIFICATIONS;

AUTOMATION; COMPUTER SOFTWARE; DATA PROCESSING; ERROR ANALYSIS; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; PROJECT MANAGEMENT; STANDARDS; TECHNOLOGY TRANSFER;

REQUIREMENTS ENGINEERING;

EID: 17044396398     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2004.1335683     Document Type: Conference Paper

References (42)

1. http://www.telelogic.com/products/doorsers/index.cfm.
2. http://www.teoma.com.
3. http://members.aol.com/acockburn/papers/prts_req.htm.
4. Recommended practice for software requirements specifications. IEEE Std 830-1993, 1993.
5. http://h18012.www1.hp.com/java/download/jtrel/, 2003.
6. V. Ambriola and V. Gervasi. Processing natural language requirements. In Proceedings of the IEEE International Conference on Automated Software Engineering, 1997.
7. P. Blackburn and J. Bos. Working with Discourse Representation Theory : An advanced Course in Computational Semantics. 1994.
8. J. P. Bodeveix and M. Filali. Fmona: A tool for expressing validation techniques over infinite state systems. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2000.
9. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proc. International Symposium on SOftware Testing and Analysis, May 2002.
10. E. Charniak. A maximum-entropy-inspired parser. Technical Report CS-99-12, 1999.
11. D. Drusinsky. http://www.time-rover.com/TRindex.html.
12. M. B. Dwyer, G. S. Avrunin, and J. Corbett. Patterns in property specifications for finite state verification. In Proceedings of the International Conference on Software Engineering, 1999.
13. C. Fellbaum. Wordnet: An electronic lexical database. 1998.
14. A. Finkelstein and W. Emmerich. The future of requirements management tools. In Information Systems in Public Administration and Law. 2000.
15. K. Fisler. Diagrams and computational efficiency. In Words, Proofs, and Diagrams, 2002.
16. N. E. Fuchs, U. Schwertel, and R. Schwitter. Attempto Controlled English - not just another logic specification language. Lecture Notes in Computer Science, 1559:1-20, 1999.
17. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
18. V. Gervasi and B. Nuseibeh. Lightweight validation of natural language requirements. Software Practice and Experience, 32:113-133, 2002.
19. E. Gunter. From natural language to linear temporal logic: Aspects of specifying embedded systems in Itl. In Proceedings of the Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, 2003.
20. K. S. Hanks, J. C. Knight, and E. A. Strunk. A linguistic analysis of requirements errors and its application, 2002.
21. J. G. Henriksen, J. Jensen, M. Jorgensen, N. Klarlund, R. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In TAC AS'95, 1995.
22. A. Holt. Formal verification with natural language specifications: guidelines, experiments and lessons so far. South African Computer Journal, 24:253-257, Jan. 1999.
23. M. E. C. Hull, K. Jackson, and A. J. J. Dick. Requirements Engineering. Springer, 2002.
24. D. Jurafsky and J. H. Martin. An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition. Prentice Hall, 2000.
25. W. Kenneth. Eucalyptus: Integrating natural language input with a graphical user interface, 1994.
26. G. Kutty, Y. S. Ramakrishna, L. E. Moser, L. K. Dillon, and P. M. Melliar-Smith. A graphical interval logic toolset for verifying concurrent systems. In Computer Aided Verification, pages 138-153, 1993.
27. R. Lutz. Analyzing software requirements errors in safety critical, embedded systems. In Proceedings of the IEEE International Symposium on Requirements Engineering, pages 126-133. IEEE Computer Society Press, 1993.
28. M. Marcus, G. Kim, M. Marcinkiewicz, R. MacIntyre, A. Bies, M. Ferguson, K. Katz, and B. Schasberger. The penn treebank: Annotating predicate argument structure. In In ARPA Human Language Technology Workshop., 1994.
29. B. Meyer. Object Oriented Software Construction. Prentice Hall, 1997.
30. R. Nelken and N. Francez. Automatic translation of natural language system specifications into temporal logic. In Lecture Notes in Computer Science (LNCS 1102), Proc. CAV96, the 8th International Conference on Computer Aided Verification, 1996.
31. M. Osbourne and C. MacNish. Processing natural language software requirements specifications. In Proceedings of the International Conference on Requirements Engineering, 1996.
32. S. P. Overmyer, B. Lavoie, and O. Rambow. Conceptual modeling through linguistic analysis using lida. In Proceedings of the 23rd international conference on Software engineering, pages 401-410. IEEE Computer Society, 2001.
33. S. Rayadurgam and M. P. Heimdahl. Coverage based test-case generation using model checkers. In 8th International Conference and Workshop on the Eng. Of Computer Based Systems (ECBS'01),2001.
34. D. J. Richardson, S. LeifAha, and T. O. O'Malley. Specification-based oracles for reactive systems. In Proceedings of the International Conference on Software Engineering, 1992.
35. K. Ryan. The role of natural language in requirements in requirements engineering. In Proceedings of the International Symposium on Requirements Engineering, pages 240-242, 1993.
36. R. L. Smith, G. Avrunin, L. A. Clarke, and L. Osterweil. Propel: an approach supporting property elucidation. In Proceedings of ICSE 2002, 2002.
37. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1992.
38. D. A. Stokes. Requirements analysis. Computer Weekly Software Engineers Reference Book, 1991.
39. S. Stoller. Testing concurrent Java programs using randomized scheduling. In ENTCS, 2002.
40. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Proc. RE'01 - Intemational Joint Conference on Requirements Engineering, 2001.
41. A. Wills. Patterns for specification and refinement. http://www.trieme. com.
42. W. M. Wilson, L. H. Rosenberg, and L. E. Hyatt. Automated quality analysis of natural language requirement specifications.