Test selection for traces refinement

Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement. Theoretical Computer Science, 563:1-42, 2015. [doi]

Abstract

Abstract is missing.