Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017).
Ina SchieferdeckerAtif MemonHironori WashizakiPublished in: Softw. Test. Verification Reliab. (2020)
Keyphrases
- special issue
- software testing
- test generation
- test cases
- software development
- model based testing
- quality assurance
- test case generation
- fault localization
- software systems
- software reliability
- ai edam
- control flow
- software engineering
- test data generation
- ecml pkdd
- regression testing
- model checking
- integration testing
- white box testing
- formal verification
- international journal
- test suite
- code coverage
- applied intelligence
- testing process
- formal specification
- special section
- development process
- cooperative
- databases
- data sets