Automated Fixing of Programs with Contracts.
Yu PeiCarlo A. FuriaMartin NordioYi WeiBertrand MeyerAndreas ZellerPublished in: IEEE Trans. Software Eng. (2014)
Keyphrases
- semi automated
- supply chain
- data mining
- computer assisted
- information retrieval
- automated analysis
- fully automated
- fully automatic
- prolog programs
- provably correct
- control program
- intermediate level
- fixpoint
- computer programs
- context sensitive
- databases
- semi automatic
- bayesian networks
- high level
- image processing
- information systems
- machine learning
- real world
- neural network