Verification of results in software maintenance through external replication | IEEE Conference Publication | IEEE Xplore