IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation | IEEE Conference Publication | IEEE Xplore