Efficient Machine-Code Test-Program Induction