Contract-Based Slicing Helps on Safety Reuse. - Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto (ICPC, 2010)

Safe Integration of Annotated Components in Open Source Projects. - Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

GammaPolarSlicer. - Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (Comput. Sci. Inf. Syst., 2011)