Logic Based Approaches and their Applications to Prioritize Test Data Set for Systems with Boolean Specifications