Download Documentation

Below you can find, and download all the documentation produced during the development of GamaPolarSlicer

Technical Report

Title: GamaPolarSlicer, Technical Report
Author: Sérgio André dos Santos Areias
Date: May 2nd, 2012

Master Thesis

Title: Contracts and Slicing for Safety Reuse
Author: Sérgio André dos Santos Areias
Date: October 31st, 2010

CORTA 2010

Title: GamaPolarSlicer, a Contract-based Tool to help on Reuse
Authors: Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Date: September 10th, 2010

COMSIS 2011 (extended paper)

Title: GamaPolarSlicer, a Contract-based Tool to help on Reuse
Authors: Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Date: -

ICPC 2010

Title: Contract-based Slicing helps on Safety Reuse
Authors: Sérgio Areias, Daniela da Cruz, Jorge Sousa Pinto
Date: June 30th, 2010

OpenCert 2010

Title: Contract-based Slicing helps on Safety Reuse
Authors: Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Date: September 17th, 2010