Static analysis tools have showcased their importance and usefulness in automated
detection of defects. However, the tools are known to generate a large number of alarms …

Test case generation is an important task during software testing. In this paper, we present a
new test-case generation framework for C programs. This approach combines dataflow …

Mobile apps have been an integral part in our daily life. As these apps become more
complex, it is critical to provide automated analysis techniques to ensure the correctness …

Cooperative software validation aims at having verification and/or testing tools cooperate on
the task of correctness checking. Cooperation involves the exchange of information about …

Pointer and taint analyses are the building blocks for several other static analysis
techniques. Unfortunately, these techniques frequently sacrifice precision in favor of …

Software fault localization is notoriously tedious and time-consuming. Developed rapidly,
machine learning techniques have been adopted for fault localization by researchers. Most …

Regression testing is an important activity to check software changes by running the tests in
a test suite to inform the developers whether the changes lead to test failures. Regression …

Pointer and taint analyses are the building blocks for several other static analysis
techniques. Unfortunately, these techniques frequently sacrificeprecision in favor …