Return to Article Details Replaying Execution Trace Models for Dynamic Modeling Languages Download Download PDF