Browsing by author Cruz, Daniela da Subscribe author statistics 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 25.  next >
Issue DateTitleAuthor(s)TypeAccess
2009Applying program comprehension techniques to karel robot programsOliveira, Nuno; Henriques, Pedro Rangel; Cruz, Daniela da, et al.Conference paperOpen access
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
2013A flexible dynamic system for automatic grading of programming exercisesFonte, Daniela; Cruz, Daniela da; Gançarski, Alda Lopes, et al.Conference 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
2014Plagiarism detection: A tool survey and comparisonMartins, Vítor T.; Fonte, Daniela; Henriques, Pedro Rangel, 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
2009A query by example approach for XML queryingFerreira, Flávio Xavier; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Conference paperOpen access