Dynamic analysis of inefficiently-used containers.

Shengqian Yang Dacong Yan Guoqing Xu Atanas Rountev

Published in: WODA (2012)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
source code
metadata
database
case study
software engineering
structured data
test suite