Tingting Wu1, Yunwei Dong1,*
CMES-Computer Modeling in Engineering & Sciences, Vol.121, No.3, pp. 909-928, 2019, DOI:10.32604/cmes.2019.07809
Abstract The application of metamorphic testing (MT) on automatic program repair
(APR-MT) is used to generate a patch without test oracles by examining whether the input
metamorphic relation (MR) is satisfied or not. However, the delivered patch is plausible
since it may satisfy the input MR but violate other MRs. This inspires us to propose an
improved approach to enhance the effectiveness of APR-MT with metamorphic relation
group. Our approach involves three major steps. First, we formally define the repair process
of APR-MT by building the model of automatic program repair and metamorphic testing
separately. Then, we propose the advanced model… More >
Login
Register
