Event-Based Input Validation Using Design-by-Contract Patterns | IEEE Conference Publication | IEEE Xplore