@conference {1620,
	title = {Contract - based slicing},
	booktitle = {4th International Symposium On Leveraging Applications of Formal Methods , Verification and Validation - ISOLA },
	year = {2010},
	month = {October},
	address = {Amirandes, Heraclion, Crete},
	abstract = {<p>In the last years, the concern with the correctness of programs has been leading programmers to enrich their programs with annotations following the principles of design-by-contract, in order to be able to guarantee their correct behaviour and to facilitate reuse of verified components without having to reconstruct proofs of correctness.<br />
 In this paper we adapt the idea of specification-based slicing to the scope of (contract-based) program verification systems and behaviour specification languages. In this direction, we introduce the notion of contract-based slice of a program and show how any specification-based slicing algorithm can be used as the basis for a contract-based slicing algorithm.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jsp/files/isola2010contractslicingvf.pdf},
	author = {Jorge Sousa Pinto and Pedro Rangel Henriques and Daniela Cruz}
}