Supplemental proceedings
2013
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.