Testing of Concurrent Programs After Specification Changes. - In Sang Chung; Hyeon Soo Kim; Hyun Seop Bae; Yong Rae Kwon; Dong Gil Lee (ICSM, 1999)