Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012).
Antonia BertolinoYvan LabichePublished in: Softw. Test. Verification Reliab. (2014)
Keyphrases
- special issue
- software testing
- test generation
- test cases
- model based testing
- software development
- quality assurance
- software reliability
- test case generation
- international journal
- model checking
- software systems
- test data generation
- ai edam
- ecml pkdd
- regression testing
- integration testing
- software engineering
- fault localization
- applied intelligence
- testing process
- control flow
- database
- white box testing
- test suite
- formal specification
- data sets
- code coverage
- formal verification
- intelligent systems
- simulated annealing
- number of test cases
- information technology
- artificial intelligence
- real world