A novel high-capability control-flow checking technique for RISC architectures.

Jianghong Huang Yuxiang Li Lisheng Zhang Yingke Xie Chengde Han

Published in: ICESS (2008)

Keyphrases

control flow
data flow
memory hierarchy
software testing
transition systems
training data
relational databases
process model
low power consumption
database
real world
data structure
workflow management systems
formal semantics
reactive systems