Control-Flow Recovery Validation Using Microarchitectural Invariants.

Javier Carretero Jaume Abella Xavier Vera Pedro Chaparro

Published in: DFT (2011)

Keyphrases

control flow
data flow
software testing
process model
transition systems
workflow management systems
business process models
moment invariants
information systems
data structure
software development
modeling language
reactive systems