Now showing items 1-4 of 4

    • Aggregation languages for moving object and places of interest 

      Gómez, Leticia Irene; Kuijpers, Bart; Vaisman, Alejandro Ariel (2008)
      "We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language to express complex aggregate queries. Next, ...
    • An evolutionary approach to translating operational specifications into declarative specifications 

      Molina, Facundo; Cornejo, César; Degiovanni, Renzo; Regis, Germán; Castro, Pablo; Aguirre, Nazareno; Frías, Marcelo (2019-07)
      "Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many ...
    • From operational to declarative specifications using a genetic algorithm 

      Molina, Facundo; Degiovanni, Renzo; Regis, Germán; Castro, Pablo; Aguirre, Nazareno; Frías, Marcelo (2018-05)
      "In specification-based test generation, sometimes having a formal specification is not sufficient, since the specification may be in a different formalism from that required by the generation approach being used. In this ...
    • Training binary classifiers as data structure invariants 

      Molina, Facundo; Degiovanni, Renzo; Ponzio, Pablo; Regis, Germán; Aguirre, Nazareno; Frías, Marcelo (2019)
      "We present a technique to distinguish valid from invalid data structure objects. The technique is based on building an artificial neural network, more precisely a binary classifier, and training it to identify valid and ...