Automatic testing of sequential and concurrent substitutability | IEEE Conference Publication | IEEE Xplore