ACT: A Hardware-Software Combined Approach for Production-Run Software Failure Diagnosis via Adaptive Communication Tracking [ISCA'16] http://dl.acm.org/citation.cfm?id=3001175
ACT learns some invariants ( e.g. data communication invariants) on-the-fly using the neural hardware and records any potential violation of them.