Learning Failure-Inducing Models for Testing Software-Defined Networks