Title: Automatically Generated Runtime Checks for Design-Level Constraints
Subjects: Software engineering