Web applications are the most common way to make services and data available on the
Internet. Unfortunately, with the increase in the number and complexity of these applications …

Rootkits affect system security by modifying kernel data structures to achieve a variety of
malicious goals. While early rootkits modified control data structures, such as the system call …

Software has bugs, and fixing those bugs pervades the software engineering process. It is
folklore that bug fixes are often buggy themselves, resulting in bad fixes, either failing to fix a …

Many software components are provided with incomplete specifications and little access to
the source code. Reusing such gray-box components can result in integration faults that can …

When using object-oriented frameworks it is easy to overlook certain important method calls
that are required at particular places in code. In this paper, we provide a comprehensive set …

The presence of a functionally correct golden implementation has a significant advantage in
the software development life cycle. Such a golden implementation is exploited for software …

Discovering program behaviors and functionalities can ease program comprehension and
verification. Existing program analysis approaches have used text mining algorithms to infer …

Testing is among the most effective tools available for finding bugs. Still, we know of no
automatic technique for generating test cases that expose bugs involving a combination of …

In this paper, we study the hidden dependencies that are a special kind of data flows. They
play an important role in software maintenance and evolution because they propagate …

The quality of systems that integrate Web services provided by independent organizations
depends on the ways the systems interact with the services, ie, on their interaction protocols …