Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011).
Mark HarmanBogdan KorelPublished in: Softw. Test. Verification Reliab. (2013)
Keyphrases
- special issue
- selected papers
- software testing
- test generation
- test cases
- software development
- international workshop
- annual conference
- ecml pkdd
- software systems
- model based testing
- international journal
- software reliability
- quality assurance
- ai edam
- test suite
- applied intelligence
- software engineering
- regression testing
- computer science
- test data generation
- integration testing
- conference proceedings
- invited talk
- model checking
- dagstuhl castle
- testing process
- review process
- test case generation
- code coverage
- white box testing
- short papers
- unit testing
- database systems
- relational databases
- training data