Research Project 1: Automated Reproduction of System-Level Concurrency Bugs by Using the Default Consol Logs

To develop automated bug reproduction technique just by using the default connsole logs of an application, we uses a combination of static and dynamic analysis techniques,together with symbolic execution. When concurrency failures occur in a deployed system, developers often have to diagnose them in a different (debugging) environment to identify the root causes. Toward this end, an important step is to reproduce the failure in a timely manner. However, this is challenging due to the limited data generated by production runs. Typically, field data are transferred from customers to developers. However, if they belong to different organizations, customers may not be willing to share their inputs and file contents involved in the failed execution. Thus, for the purpose of reproducing failures in production runs, we have to assume that the only available field data are default log messages generated by the unmodified application. Under this assumption, we proposes the first fully automated tool for reproducing failures using only default logs collected from the field(FSE 2017).