Prioritized interaction testing for pair-wise coverage with seeding and constraints