Program vulnerability repair via inductive inference.
Yuntong ZhangXiang GaoGregory J. DuckAbhik RoychoudhuryPublished in: ISSTA (2022)
Keyphrases
- inductive inference
- recursive functions
- kolmogorov complexity
- intrinsic complexity
- languages from positive data
- algebraic structures
- transductive inference
- grammatical inference
- vc dimension
- case based learning
- pattern languages
- context free
- hypothesis spaces
- learning from positive data
- context free languages
- learning paradigms
- semi supervised learning
- supervised learning
- software engineering