Specification-based testing of reactive software: A case study in technology transfer.
Lalita Jategaonkar JagadeesanLawrence G. VottaAdam A. PorterCarlos PucholJ. Christopher RammingPublished in: J. Syst. Softw. (1998)
Keyphrases
- technology transfer
- test case generation
- test cases
- software testing
- reactive systems
- case study
- software development
- test suite
- e government
- regression testing
- software systems
- highly modular
- formal verification
- unit testing
- quality assurance
- software design
- software maintenance
- user interface
- source code
- nasa langley research center
- formal specification
- formal methods
- current status
- software components
- code generation
- test bed
- testing process
- tool suite
- software development life cycle
- development lifecycle
- reactive planning
- machine learning
- test data generation
- control flow
- agent architecture
- software tools
- high level
- artificial intelligence