Salvo Testing (The Automata Initiative)