Video: Resolving Design Errors Automatically