Model ExplorationImproving Open Ended Model Exploration in Security ContextsThis is a working log with periodic updates.