Ju Qian Baowen Xu Program slicing under UML scenario models. 21-24 2008 43 SIGPLAN Notices 2 http://doi.acm.org/10.1145/1361213.1361216 db/journals/sigplan/sigplan43.html#QianX08