Abstract :
The following topics are dealt with: test-case generation; test-case selection; formal analysis; formal specification; code analysis; program debugging; bug prediction; requirements engineering; data security and privacy; programming support; program repair; software architecture; software metrics; software engineering education; software maintenance.
Keywords :
computer science education; formal specification; formal verification; program debugging; program testing; security of data; software architecture; software maintenance; software metrics; bug prediction; code analysis; data privacy; data security; formal analysis; formal specification; program debugging; program repair; programming support; requirements engineering; software architecture; software engineering education; software maintenance; software metrics; test-case generation; test-case selection;
Conference_Titel :
Software Engineering (ICSE), 2013 35th International Conference on
Conference_Location :
San Francisco, CA
Print_ISBN :
978-1-4673-3073-2
DOI :
10.1109/ICSE.2013.6606542
