Coverage Based Testing for Concurrent Software.
Juichi TakahashiHideharu KojimaZengo FurukawaPublished in: ICDCS Workshops (2008)
Keyphrases
- test suite
- test cases
- set of test cases
- software testing
- software development
- software systems
- testing process
- quality assurance
- software architecture
- white box testing
- code coverage
- concurrent programs
- object oriented software
- test case generation
- regression testing
- software maintenance
- embedded software
- software package
- model based testing
- software reliability
- search based software testing
- hardware design
- software design
- black box
- test generation
- software application
- requirements engineering
- modeling language
- data flow
- embedded systems
- integration testing
- design patterns
- test data
- operating system
- computer systems
- source code
- user interface