SEA-based dependence clusters data

Data last updated on: 2013-05-13

Measured data used for the paper titled
Empirical Investigation of SEA-Based Dependence Cluster Properties
submitted to SCAM'13.

These data can be used only for peer-reviewing purposes.

All programs

Summary

• Program summary table

MSGs (all procedures present)

• MSG sheet containing 29 moderate size programs and the two big programs (gcc, WebKit)

MSGs for the big programs

• MSG sheet for gcc and WebKit

Measurement data for single removed procedures

• Linchpin location by brute force

Correlation data

• Pearson correlation between ENTR/REGX and NOI/NII/SOI/POI

• Kendall correlation between ENTR/REGX and NOI/NII/SOI/POI

WebKit

MSGs generated by removing a collection of procedures

• 256 procedures with highest NOI value

• Three sets of 256 procedures selected randomly (compared to the full version)