Ricky E. Sward A. T. Chamillard AdaSlicer: an Ada program slicer. 10-16 2003 conf/sigada/2003 SIGAda http://doi.acm.org/10.1145/958420.958423 db/conf/sigada/sigada2003.html#SwardC03