Are hardware performance counters a cost effective way for integrity checking of programs
Distilling free-form natural laws from experimental data