In this digital age, human dependency on technology in various fields has been increasing
tremendously. Torrential amounts of different electronic products are being manufactured …

Finding the root cause of a bug requires a significant effort from developers. Automated fault
localization techniques seek to reduce this cost by computing the suspiciousness scores (ie …

Systematic requirements elicitation leads to higher quality products and reduces product
risks. In Quality Engineering and Management, product risk mitigation is a key objective …

Abstract The Software Engineering (SE) community has been embracing the open science
policy and encouraging researchers to disclose artifacts in their publications. However, the …

Most programs with command-line interface (CLI) have dozens of command-line options
(eg,-l,-F,-R for ls) to alternate the operation of the programs. Thus, depending on the option …

Although mutation analysis is important for various software analysis tasks, there exist few
practical mutation tools for C programs. We have developed MUSIC (MUtation analySIs tool …

Concolic testing is popular in unit testing because it can detect bugs quickly in a relatively
small search space. But, in system-level testing, it suffers from the symbolic path explosion …

The importance of automotive software has been rapidly increasing because software now
controls many components in motor vehicles such as window controller, smart-key system …

We present Chameleon, a new approach for adaptively changing search heuristics during
concolic testing. Search heuristics play a central role in concolic testing as they mitigate the …

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 …