Conditional expectation algorithms for covering arrays