Strategies for Automated Specification-Based Testing of Synchronous Software.
Ioannis ParissisJérôme VassyPublished in: ASE (2001)
Keyphrases
- test case generation
- software testing
- test cases
- test data generation
- search based testing
- software development
- software systems
- formal verification
- testing process
- test suite
- control flow
- regression testing
- software maintenance
- software reliability
- high level
- quality assurance
- unit testing
- formal methods
- semi automated
- fully automated
- software architecture
- software design
- computer systems
- reactive systems
- development lifecycle
- automated tools
- highly modular
- tool suite
- hardware design
- model based testing
- manual inspection
- object oriented software
- requirements specification
- code generation
- open source
- user interface
- multi agent