Testing of concurrent programs after specification changes | IEEE Conference Publication | IEEE Xplore