Concolic Metamorphic Debugging

International Computer Software and Applications Conference, 2015.

Cited by: 8|Bibtex|Views9|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments