@conference {BGJ07,
	title = {Computation of {Static Execute After} Relation with Applications to Software Maintenance},
	booktitle = {Proceedings of the 2007 IEEE International Conference on Software Maintenance (ICSM{\textquoteright}07)},
	year = {2007},
	month = {oct},
	pages = {295-304},
	keywords = {software quality selected},
	author = {{\'A}rp{\'a}d Besz{\'e}des and Tam{\'a}s Gergely and Judit J{\'a}sz and T{\'o}th, G. and Tibor Gyim{\'o}thy and V. Rajlich}
}
