Integration testing using interface mutation | IEEE Conference Publication | IEEE Xplore