Exception-based Input Validation