Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (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
- international journal
- model based testing
- quality assurance
- computer science
- ai edam
- white box testing
- test case generation
- integration testing
- software systems
- regression testing
- invited talk
- software engineering
- applied intelligence
- ecml pkdd
- software reliability
- review process
- model checking
- short papers
- conference proceedings
- test suite
- test data generation
- data sets
- development process
- dagstuhl castle
- databases
- artificial intelligence
- program committee
- test data
- lecture notes in artificial intelligence
- knowledge discovery
- code coverage
- testing process
- latest developments
- database