Login / Signup
Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations.
Rafael B. Parizi
Ronaldo Rodrigues Ferreira
Álvaro Freitas Moreira
Luigi Carro
Published in:
SBESC (2012)
Keyphrases
</>
control flow
data flow
software testing
process model
programming language
workflow management systems
modeling language
reactive systems
software engineering
transition systems
software systems
artificial intelligence
case study
test cases