Ricky E. Sward Leemon C. Baird III Optimizing the SPARK program slicer. 17-22 2005 conf/sigada/2005 SIGAda https://doi.org/10.1145/1103846.1103849 https://www.wikidata.org/entity/Q131114740 db/conf/sigada/sigada2005.html#SwardB05