CA2: Practical Archival and Compression of Covering Arrays | IEEE Conference Publication | IEEE Xplore