On the Correctness of Software Merge (Replication Package)
Abstract
A replication package of the experiments conducted for the paper "On the Correctness of Software Merge" by Akira Mori and Masatomo Hashimoto.
Full text
1 / 1 U nw a nt ed S our ce C o de M o difica t i ons O b s e rv ed i n JD i m e / S por k O utputs R ed un da nt I nst a n ce C r ea t i on i n I n i t iali z e r R ed un da nt M o difie r D ecla r a t i on S p li t R ed un da nt E mpty D ecla r a t i on R ed un da nt B l o ck