Title :
Supplemental proceedings
Abstract :
The following topics are dealt with: specification mining; natural language processing; model-based testing; software reliability for security assessment; data protection software; peer-to-peer system; software validation; software quality; supercomputer; SaaS service; software certification practice; third-party software and component reuse.
Keywords :
data mining; formal verification; natural language processing; peer-to-peer computing; security of data; software quality; software reliability; software reusability; SaaS service; component reuse; data protection software; model-based testing; natural language processing; peer-to-peer system; security assessment; software certification practice; software quality; software reliability; software validation; specification mining; supercomputer; third-party software;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on
Conference_Location :
Pasadena, CA
DOI :
10.1109/ISSREW.2013.6688841
