Proj CDeepFuzz Paper Reading: Active Learning for Inference and Regeneration of Applications that Access Databases
Abstract
本文: KONURE,以及regenerator
Task: use active learning to infer models of applications that retrieve data from relational databases
方法:
- a domain-specific language (each model is a program in this language)
- the associated inference algos that infers the models, which progressively refine its current model hypothesis
- regenerator: 生成包含相关security and error checks的python代码
潜力:能够在任意语言上运行