Refining the control structure of loops using static analysis.
Gogul BalakrishnanSriram SankaranarayananFranjo IvancicAarti GuptaPublished in: EMSOFT (2009)
Keyphrases
- control structure
- static analysis
- control structures
- image interpretation
- dynamic analysis
- source code
- image understanding
- production system
- manufacturing systems
- malicious code
- java card
- regular expressions
- knowledge representation
- test generation
- symbolic execution
- test suite
- pattern recognition
- real world
- abstract interpretation
- case study
- test cases
- error rate
- open source
- object detection
- reinforcement learning
- high level
- database
- reactive planning