Proceedings of the 12th international conference on Generative programming: concepts & experiences
Hi-index | 0.00 |
Software reliability is heavily impacted by software changes. ow do these changes relate to each other? By analyzing the impacted method definitions and usages, we determine dependencies between changes, resulting in a change genealogy that captures how earlier changes enable and cause later ones. Model checking this genealogy reveals temporal process patterns that encode key features of the software process such as pending development activities: 芒聙聹Whenever class A is changed, its test case is later updated as well.芒聙聺 Such patterns can be validated automatically: In an evaluation of four open source histories, our prototype would recommend pending activities with a precision of 60芒聙"72%.