Proj CDeepFuzz Paper Reading: Active learning for software engineering
Abstract
背景：
- Q: active learning inference based framework能够利用modularity来处理large applications中的develeopment correctness, performance and cost
- Inferred programs can be used for many purposes, including generation of secure code, code re-use through automatic encapsulation, adaptation to new platforms or languages, and optimization
本文：BDP system, includes dynamic program analysis,DSL design, inference, and code generation
- 用例子解释本文的方法如何推测3个具有代表性的模块
- outline the broader paradigm
- outline open research questions