Boolean expression extender — A mutation operator for strengthening and weakening boolean expressions | IEEE Conference Publication | IEEE Xplore