A Model for Usage-Based Testing of Event-Driven Software | IEEE Conference Publication | IEEE Xplore