From Specifications to Test Cases: AI in Software Quality.
Daniel R. ZlatinRaymond AubinRichard D. PeacockePublished in: ICC (1986)
Keyphrases
- software quality
- test cases
- regression testing
- software systems
- unit testing
- software testing
- software development
- software engineering
- software projects
- artificial intelligence
- quality assurance
- life cycle
- software product
- development process
- test data
- test sequences
- test generation
- test suite
- test data generation
- black box
- test set
- software metrics
- test case generation
- test case selection
- model based testing
- test suite reduction
- object oriented
- number of test cases
- testing process
- machine learning
- source code
- data sets
- set of test cases
- component based development
- case study
- high level
- training set
- decision making
- integration testing
- neural network
- knowledge management
- databases
- formal specification