Interface mutation: assessing testing quality at interprocedural level | IEEE Conference Publication | IEEE Xplore