Axiomatizing software test data adequacy | lit.salon