Event-Based Input Validation Using Design-by-Contract Patterns.

Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte

Browse the full ISSRE paper archive.