Test Generation In Lamp2: System Overview