%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Shin Yoo at 2013-07-18 11:17:18 +0200 


%% Saved with string encoding Unicode (UTF-8) 


@string{acm = {Association for Computer Machinery}}

@string{aw = {Addison Wesley}}

@string{cacm = {Communications of the ACM}}

@string{csm = {IEEE Conference on Software Maintenance}}

@string{cspress = {{IEEE} {C}omputer {S}ociety {P}ress}}

@string{fse = {Foundations of Software Engineering}}

@string{iee = {Institute of Electric Engineers}}

@string{ieee = {Institute of Electric and Electronic Engineers}}

@string{joop = {Journal of Object--Oriented Programming}}

@string{lncs = {Springer Lecture Notes in Computer Science}}

@string{mgh = {McGraw--Hill}}

@string{mhsd = {Mark Harman and Sebastian Danicic}}

@string{oup = {Oxford University Press}}

@string{ourtrs = {Available by anonymous ftp to {\tt ftp.unl.ac.uk/pub/text/M.Harman/papers/tecrepts}}}

@string{pepm = {Conference on Partial Evaluation and Semantics--Based Program Manipulation (PEPM)}}

@string{ph = {Prentice Hall}}

@string{pldi = {ACM SIGPLAN Conference on Programming Language Design and Implementation}}

@string{popl = {ACM Conference on Principals of Programming Languages}}

@string{sej = {Software Engineering Journal}}

@string{sigplan = {ACM SIGPLan Notices}}

@string{spe = {Software Practice and Experience}}

@string{stvr = {Software Testing, Verification and Reliability}}

@string{sv = {Springer}}

@string{tpls = {ACM Transactions on Programming Languages and Systems}}

@string{tse = {IEEE Transactions on Software Engineering}}


@techreport{Binkley:2013fk,
	Author = {David Binkley and Nicolas Gold and Mark Harman and Jens Krinke and Shin Yoo},
	Institution = {{D}epartment of {C}omputer {S}cience, {U}niversity {C}ollege {L}ondon},
	Number = {RN/13/13},
	Title = {Observation-Based Slicing},
	Year = {2013}}