Symbolic execution is being successfully used to automatically test statically compiled code.
However, increasingly more systems and applications are written in dynamic interpreted …

We propose PIC, a tool that helps developers search for non-interoperabilities in protocol
implementations. We formulate this problem using intersection of the sets of messages that …

Cloud computing systems assist applications by offering virtualized resources that can be
provisioned on demand basis. Computing resources are delivered by Virtual Machines …

With the rapid growth in information technology, there is a significant increase in research
activities in the field of cloud computing. Cloud testing can be interpreted as (i) testing of …

As networked systems become more complex, and as interactions between distributed
entities become more subtle, our ability to analyze such systems has fallen behind. Failing to …

Cloud9 [3, 5] is a symbolic execution platform that provides efficient support for the operating
system (POSIX) interface used by low-level systems, such as web servers, multi-process …