Verification of software changes with ExpliSAT | IEEE Conference Publication | IEEE Xplore