ELM: Knowing what to test