A Framework for Behavior-Consistent Specialization of Artifact