It can be a nuisance when we arrive at the front desk of a hotel or airline counter only to be informed that our reservation was not received, or when our bank accounts include unidentified charges.

The Software Methods department investigates how to efficiently and selectively extract the information needed for computer model-based product testing and qualification to produce the "Virtual ...