Repositories list

• joana_generating_results

  Public
  Jupyter Notebook

  •1•0•0•0•Updated Oct 17, 2024Oct 17, 2024

• papers

  Public
  Java

  •

  Other

  •4•2•0•0•Updated Oct 7, 2024Oct 7, 2024

• miningframework

  Public
  framework for mining git projects

  Groovy

  •

  GNU General Public License v3.0

  •18•8•24•2•Updated Oct 4, 2024Oct 4, 2024

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •708•0•0•0•Updated Sep 9, 2024Sep 9, 2024

• conflict-static-analysis

  Public
  Java

  •13•14•3•2•Updated Aug 13, 2024Aug 13, 2024

• mergedataset

  Public
  Java

  •

  GNU General Public License v3.0

  •9•3•0•1•Updated Aug 9, 2024Aug 9, 2024

• docker_joana

  Public
  Dockerfile

  •1•0•0•0•Updated Aug 7, 2024Aug 7, 2024

• joana_execution

  Public
  Python

  •1•0•0•0•Updated Aug 7, 2024Aug 7, 2024

• svfa-scala

  Public
  An implementation of sparse-value flow analysis on top of soot (using Scala)

  Java

  •13•0•0•1•Updated Jul 3, 2024Jul 3, 2024

• SMAT

  Public
  Python

  •

  GNU General Public License v3.0

  •9•2•3•0•Updated Jul 3, 2024Jul 3, 2024

• static-semantic-merge

  Public
  merge semantic tool based on static analysis

  Java

  •4•1•0•0•Updated Jun 13, 2024Jun 13, 2024

• pdg-sdg

  Public
  Java

  •2•0•0•0•Updated May 23, 2024May 23, 2024

• diffj

  Public
  A command line application to compare Java files without regard to formatting.

  Java

  •17•0•0•0•Updated May 3, 2024May 3, 2024

• spgroup.github.io

  Public template
  A beautiful, simple, clean, and responsive Jekyll theme for academics

  HTML

  •

  MIT License

  •11k•0•0•0•Updated Apr 27, 2023Apr 27, 2023

• est-lab1-etapa2

  Public
  Java

  •

  MIT License

  •19•0•0•0•Updated Feb 7, 2023Feb 7, 2023

• OSean.EX

  Public
  Object Serialization by Test Suite Execution

  Java

  •

  GNU General Public License v3.0

  •2•1•0•0•Updated Sep 23, 2022Sep 23, 2022

• SMATransf

  Public
  Java

  •3•0•0•0•Updated Aug 31, 2022Aug 31, 2022

• SemanticMergeTool

  Public
  A merge tool that uses behaviour change by generating tests to find semantic conflicts

  Shell

  •3•0•0•0•Updated May 4, 2022May 4, 2022

• control-dependence-analysis

  Public
  Scala

  •1•1•0•1•Updated Sep 9, 2021Sep 9, 2021

• theory-pl-refinement-coq

  Public
  Porting the Theory of Software Product Line Refinement to the Coq proof assistant

  Coq

  •0•1•0•0•Updated Oct 27, 2020Oct 27, 2020

• ORM-Smells-Catalog

  Public
  Repository for the ORM-related Code Smells catalog

  1•38•0•0•Updated Oct 18, 2020Oct 18, 2020

• s3m

  Public
  super semi-structured merge tool

  Java

  •

  Other

  •6•2•0•0•Updated Feb 17, 2020Feb 17, 2020

• SPL-Classification

  Public
  Python

  •1•0•3•0•Updated Dec 6, 2019Dec 6, 2019

• theory-pl-refinement

  Public
  PVS specification files for the theory of Software Product Line Refinement

  TeX

  •0•4•0•0•Updated Nov 7, 2019Nov 7, 2019

• confusion

  Public
  Confusion Detection in Code Reviews

  code-reviewconfusionconfusion-detection

  3•1•0•0•Updated Dec 5, 2018Dec 5, 2018

• pl-refinement-templates-catalog

  Public
  Repository for hosting the catalog of Product Line Refinement Templates

  TeX

  •0•1•0•0•Updated Feb 2, 2017Feb 2, 2017

• refactool

  Public
  Ferramenta de transformação de código c baseado no catálogo proposto em "A Catalogue of Refactorings to Remove Incomplete Annotations"

  C

  •2•0•0•0•Updated Jan 20, 2016Jan 20, 2016

• rgms

  Public
  Research Group Management System

  Groovy

  •77•11•111•37•Updated Dec 28, 2015Dec 28, 2015

• groundhog

  Public
  A framework for crawling GitHub projects and raw data and to extract metrics from them

  Java

  •

  GNU General Public License v2.0

  •10•15•25•2•Updated Feb 23, 2014Feb 23, 2014

• rgmsPreprocessor

  Public
  Pre-processor for the RGMS project.

  Java

  •1•0•0•0•Updated Aug 28, 2013Aug 28, 2013