Design-for-test and test optimization techniques for TSV-based 3D stacked ICs (2014)