C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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