Abstract :
The following topics were dealt with: software compositionality; runtime systems; software vulnerability detection and defense; aspect-oriented programming; program verification; software security requirements; and software testing.
Keywords :
program testing; program verification; software reliability; aspect-oriented programming; program verification; runtime systems; software compositionality; software security requirements; software testing; software vulnerability detection;
Conference_Titel :
Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-0-7695-3758-0
DOI :
10.1109/SSIRI.2009.1
