Testing with model checkers: a survey.
Gordon FraserFranz WotawaPaul AmmannPublished in: Softw. Test. Verification Reliab. (2009)
Keyphrases
- probabilistic model
- computational model
- prediction model
- information systems
- website
- high level
- expert systems
- hybrid model
- network model
- sensitivity analysis
- mathematical model
- process model
- theoretical framework
- d objects
- real time
- similarity measure
- decision making
- social networks
- search engine
- information retrieval
- neural network
- data sets