?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=ORBS+and+the+Limits+of+Static+Slicing&rft.creator=Binkley%2C+D&rft.creator=Gold%2C+N&rft.creator=Harman%2C+M&rft.creator=Islam%2C+S&rft.creator=Krinke%2C+J&rft.creator=Yoo%2C+S&rft.description=Observation-based+slicing+is+a+recently-introduced%2C+language-independent+slicing+technique+based+on+the+dependencies+observable+from+program+behaviour.+Due+to+the+well-known+limits+of+dynamic+analysis%2C+we+may+only+compute+an+under-approximation+of+the+true+observation-based+slice.+However%2C+because+the+observation-based+slice+captures+all+possible+dependence+that+can+be+observed%2C+even+such+approximations+can+yield+insight+into+the+limitations+of+static+slicing.+For+example%2C+a+static+slice%2C+S%2C+that+is+strictly+smaller+than+the+corresponding+observation+based+slice+is+potentially+unsafe.+We+present+the+results+of+three+sets+of+experiments+on+12+different+programs%2C+including+benchmarks+and+larger+programs%2C+which+investigate+the+relationship+between+static+and+observation-based+slicing.+We+show+that%2C+in+extreme+cases%2C+observation-based+slices+can+find+the+true+minimal+static+slice%2C+where+static+techniques+cannot.+For+more+typical+cases%2C+our+results+illustrate+the+potential+for+observation-based+slicing+to+highlight+limitations+in+static+slicers.+Finally%2C+we+report+on+the+sensitivity+of+observation-based+slicing+to+test+quality.&rft.subject=Science+%26+Technology%2C+Technology%2C+Computer+Science%2C+Information+Systems%2C+Computer+Science%2C+Interdisciplinary+Applications%2C+Engineering%2C+Electrical+%26+Electronic%2C+Computer+Science%2C+Engineering&rft.publisher=IEEE&rft.date=2015-09-28&rft.type=Proceedings+paper&rft.publisher=15th+IEEE+International+Working+Conference+on+Source+Code+Analysis+and+Manipulation&rft.language=eng&rft.source=+++++In%3A++Proceedings+of+the+15th+IEEE+International+Working+Conference+on+Source+Code+Analysis+and+Manipulation+(SCAM).++(pp.+pp.+1-10).++IEEE%3A+Bremen%2C+Germany.+(2015)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F1470412%2F1%2Fscam15.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F1470412%2F&rft.rights=open