论文信息 - A Brief Survey of Specification Inference in Static Program Analysis - 字舞流文

A Brief Survey of Specification Inference in Static Program Analysis

Shuai Yi | Qingxian Wang | Yajing Sun | Xuexiong Yan | Shukai Liu | Chuansen Chai

[1] Shay Artzi,et al. F4F: taint analysis of framework-based web applications , 2011, OOPSLA '11.

[2] Michael D. Ernst,et al. Automatic generation of program specifications , 2002, ISSTA '02.

[3] Eran Yahav,et al. Static Specification Mining Using Automata-Based Abstractions , 2007, IEEE Transactions on Software Engineering.

[4] Shengchao Qin,et al. Verifying pointer safety for programs with unknown calls , 2010, J. Symb. Comput..

[5] Jonathan Aldrich,et al. Checking framework interactions with relationships , 2008, ECOOP.