@INPROCEEDINGS{BGJ07, author = "Besz{\'e}des, {\'A}rp{\'a}d and Gergely, Tam{\'a}s and J{\'a}sz, Judit and T{\'o}th, Gabriella and Gyim{\'o}thy, Tibor and Rajlich, V{\'a}clav", title = "Computation of {Static Execute After} Relation with Applications to Software Maintenance", booktitle = "Proceedings of the 2007 IEEE International Conference on Software Maintenance (ICSM'07)", publisher = "IEEE Computer Society", year = 2007, month = oct, pages = "295-304", location = "Paris, France", }