Tracing the flow of control in code generated from switchÂcase statements is difficult for static program analysis  tools  when  the  code  contains Â...
Most modern applications are networked and make heavy use of various communication protocols such as TCP/IP and SOAP over HTTP in case of Web Services. This paper presents the res...