Abstract :
The following topics are dealt with: concurrency; dynamic analysis; testing and verification; evolution; generation and synthesis; recommendations; security; debugging; resources; specification mining; models and complexity; software analysis; adaptation and transformation; and models and requirements.
Keywords :
concurrency control; data mining; program debugging; program testing; security of data; software engineering; automated software engineering; dynamic analysis; software analysis; software complexity; software concurrency; software debugging; software evolution; software generation; software models; software resources; software security; software synthesis; software testing; software verification; specification mining;
Conference_Titel :
Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on
Conference_Location :
Silicon Valley, CA
DOI :
10.1109/ASE.2013.6693056
