A model for detecting faults in build specifications.
Thodoris SotiropoulosStefanos ChaliasosDimitris MitropoulosDiomidis SpinellisPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- mathematical model
- statistical model
- probabilistic model
- cost function
- specification language
- database
- prior knowledge
- objective function
- high level
- data mining
- real time
- artificial neural networks
- information systems
- learning algorithm
- management system
- computational model
- genetic algorithm
- formal model
- prediction model
- network model