Title :
Table of contents
Abstract :
The following topics are dealt with: software engineering; verification; validation; bug reports; quality assurance; network traffic; embedded systems; security; Web technology; virtual machine; and social networks.
Keywords :
Internet; embedded systems; formal verification; program debugging; security of data; social networking (online); software quality; telecommunication traffic; virtual machines; Web technology; bug reports; embedded systems; network traffic; quality assurance; security; social networks; software engineering; validation; verification; virtual machine;
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2014 IEEE 38th Annual
Conference_Location :
Vasteras
DOI :
10.1109/COMPSAC.2014.4
