A Test Generation Method Based on Model Reduction for Parallel Software.
Tao SunXinming YeJing LiuPublished in: PDCAT (2012)
Keyphrases
- generation method
- mathematical model
- prior knowledge
- probabilistic model
- high level
- computational model
- management system
- formal model
- statistical model
- software systems
- parameter estimation
- probability distribution
- cost function
- user interface
- feature selection
- data mining
- theoretical analysis
- test cases
- artificial neural networks
- objective function
- experimental data
- test data
- information systems
- software tools
- information retrieval