TY  - RPRT
TI  - Computation in an algebra of test selection criteria
AU  - Jan Pachl
AU  - Shmuel Zaks
PY  - 1999
UR  - https://arxiv.org/abs/cs/9912018
ID  - cs/9912018
ER  -