Browsing by author Cruz, Daniela da

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 20 of 20.
Issue DateTitleAuthor(s)TypeAccess
2012Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.ArticleOpen access
2010Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Conference paperOpen access
2012Automatic test generation for spaceCosta, Ulisses Araújo; Cruz, Daniela da; Henriques, Pedro RangelConference paperRestricted access (UMinho)
2009Code analysis: past and presentCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaConference paperOpen access
2010Contract-based slicingCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaConference paperOpen access
2010Contract-based slicing helps on safety reuseAreias, Sérgio; Cruz, Daniela da; Pinto, Jorge SousaConference paperOpen access
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaConference paperOpen access
2011GammaPolarSlicerAreias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel, et al.ArticleOpen access
2013GuessXQ, a query-by-example approach for XML queryingFonte, Daniela; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Conference paperRestricted access (UMinho)
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaConference paperRestricted access (UMinho)
Sep-2010Parser generation in Perl : an overview and available toolsAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al.Conference paperOpen access
2011Parser generation in Perl: crafting an AnTLR back-endAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al.Conference paperOpen access
Apr-2014Partial correctness and continuous integration in computer supported educationFonte, Daniela; Vilas Boas, Ismael; Oliveira, Nuno, et al.Conference paperOpen access
2012Problem domain oriented approach for program comprehensionPereira, Maria João Tinoco Varanda; Marcelo Berón, Mario; Cruz, Daniela da, et al.Conference paperRestricted access (UMinho)
2012Program analysis and evaluation using QUIMERAFonte, Daniela; Vilas Boas, Ismael; Cruz, Daniela da, et al.Conference paperOpen access
2008Properties preservation during transformationCruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro RangelConference paperOpen access
2010Safe integration of annotated components in open source projectsAreias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.ArticleOpen access
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaConference paperRestricted access (UMinho)
21-Oct-2011Verification, slicing, and visualization of programs with contractsCruz, Daniela daDoctoral thesisOpen access
2011A visual inspector for Boogie programsCoelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Conference paperOpen access