Towards a Language and Framework for Penurious Testing | IEEE Conference Publication | IEEE Xplore