Inputs and Outputs in CSP: A Model and a Testing Theory.
Ana CavalcantiRobert M. HieronsSidney C. NogueiraPublished in: ACM Trans. Comput. Log. (2020)
Keyphrases
- computational model
- statistical model
- probabilistic model
- theoretical foundation
- probability distribution
- conceptual framework
- theoretical analysis
- objective function
- constraint propagation
- formal model
- experimental data
- mathematical framework
- knowledge base
- software testing
- prediction model
- mathematical model
- parameter estimation
- maximum likelihood
- cost function
- artificial neural networks
- high level