开启论文记录化工程中,会陆续把已经读过的论文转化为笔记存下来
https://www.nebelwelt.net/files/21ISSTA.pdf 感觉就是Grammar-based实现中的一些细节。。。