Resource-constrained non-operational testing of software | IEEE Conference Publication | IEEE Xplore