Concolic Metamorphic Debugging
International Computer Software and Applications Conference, 2015.
Debugging is challenging and labor-intensive. Debugging programs with weak or no oracle is even more difficult due to lack of passing and failing test runs as well as their comparisons. To address these challenges, we exploit metamorphic relations to construct new programs that are enhanced with synthesized oracle, and combine concolic te...More
Full Text (Upload PDF)
PPT (Upload PPT)