Reducing verification effort in component-based software engineering through built-in testing.
Daniel BrennerColin AtkinsonRainer MalakaMatthias MerdesBarbara PaechDima SulimanPublished in: Inf. Syst. Frontiers (2007)
Keyphrases
- test generation
- formal verification
- symbolic execution
- model checking
- testing process
- software testing
- case study
- software components
- component based software engineering
- significantly reduced
- data sets
- test cases
- website
- neural network
- test set
- cooperative
- formal analysis
- decision making
- genetic algorithm
- data mining
- asynchronous circuits
- test data generation
- verification method
- databases