Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths.
Rahul JiresalAdnan ContractorRavindra NaikPublished in: ICSM (2011)
Keyphrases
- real life
- reliable detection
- automatic detection
- object detection
- detection accuracy
- detection algorithm
- shortest path
- detection method
- detection rate
- change detection
- programming language
- application domains
- real world
- false positives
- variable selection
- false alarms
- input variables
- causal models
- continuous variables
- automatic programming
- relevant variables
- search engine