A selection model for auditing software | Synapse