Title :
[Front and back cover]
Abstract :
The following topics are dealt with: static analysis; program validation; program security; clone detection; program transformation; program refactoring; and bug location.
Keywords :
program debugging; program diagnostics; program verification; security of data; software maintenance; software metrics; bug location; clone detection; program refactoring; program security; program transformation; program validation; static analysis;
Conference_Titel :
Source Code Analysis and Manipulation (SCAM), 2012 IEEE 12th International Working Conference on
Conference_Location :
Trento
Print_ISBN :
978-1-4673-2398-7
DOI :
10.1109/SCAM.2012.34