Proj CDeepFuzz Paper Reading: Active learning for software engineering

Abstract

背景：

1. Q: active learning inference based framework能够利用modularity来处理large applications中的develeopment correctness, performance and cost
2. 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

1. 用例子解释本文的方法如何推测3个具有代表性的模块
2. outline the broader paradigm
3. outline open research questions