Specification-based Testing of Synchronous Software.
Ioannis ParissisFarid OuabdesselamPublished in: SIGSOFT FSE (1996)
Keyphrases
- test case generation
- test cases
- software testing
- software development
- formal verification
- test data generation
- control flow
- quality assurance
- software systems
- regression testing
- software design
- software tools
- testing process
- high level
- tool suite
- unit testing
- software development life cycle
- specification language
- search based software testing
- test suite
- case study
- user interface
- software components
- open source
- database
- database systems
- object oriented software
- object oriented
- software requirements
- embedded software
- programming language
- software reliability
- computer systems
- test set
- software projects
- software maintenance
- software package
- formal specification