Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions.
Nerina BermudoAndreas KrallR. Nigel HorspoolPublished in: SCAM (2005)
Keyphrases
- control flow
- data flow
- modeling language
- computer programs
- language constructs
- process model
- software testing
- image reconstruction
- transition systems
- business process models
- formal semantics
- programming language
- language learning
- databases
- software development
- natural language
- reactive systems
- black box
- test set
- data model
- database systems
- case study
- machine learning