Login / Signup
An efficient adaptive software-implemented technique to detect control-flow errors in multi-core architectures.
Mohammad Maghsoudloo
Hamid R. Zarandi
Navid Khoshavi
Published in:
Microelectron. Reliab. (2012)
Keyphrases
</>
control flow
data flow
software testing
process model
workflow management systems
transition systems
detection algorithm
formal semantics
detection method
modeling language
databases
information systems
software engineering
software systems
test cases
software architecture