Dynamically validating static memory leak warnings.
Mengchen LiYuanjun ChenLinzhang WangGuoqing XuPublished in: ISSTA (2013)
Keyphrases
- memory requirements
- dynamically created
- computing power
- information flow
- memory usage
- case study
- expert systems
- low memory
- dynamic analysis
- databases
- social networks
- working memory
- memory space
- static analysis
- private information
- data mining
- computational model
- query processing
- multiresolution
- evolutionary algorithm
- decision trees