Test coverage as a spanning basis · HackerTrans