Pinned Repositories
conflict-static-analysis
groundhog
A framework for crawling GitHub projects and raw data and to extract metrics from them
mergedataset
miningframework
framework for mining git projects
ORM-Smells-Catalog
Repository for the ORM-related Code Smells catalog
papers
rgms
Research Group Management System
s3m
super semi-structured merge tool
SMAT
theory-pl-refinement
PVS specification files for the theory of Software Product Line Refinement
Software Productivity Group's Repositories
spgroup/ORM-Smells-Catalog
Repository for the ORM-related Code Smells catalog
spgroup/groundhog
A framework for crawling GitHub projects and raw data and to extract metrics from them
spgroup/conflict-static-analysis
spgroup/rgms
Research Group Management System
spgroup/miningframework
framework for mining git projects
spgroup/theory-pl-refinement
PVS specification files for the theory of Software Product Line Refinement
spgroup/mergedataset
spgroup/papers
spgroup/s3m
super semi-structured merge tool
spgroup/SMAT
spgroup/confusion
Confusion Detection in Code Reviews
spgroup/control-dependence-analysis
spgroup/OSean.EX
Object Serialization by Test Suite Execution
spgroup/pl-refinement-templates-catalog
Repository for hosting the catalog of Product Line Refinement Templates
spgroup/static-semantic-merge
merge semantic tool based on static analysis
spgroup/theory-pl-refinement-coq
Porting the Theory of Software Product Line Refinement to the Coq proof assistant
spgroup/pdg-sdg
spgroup/diffj
A command line application to compare Java files without regard to formatting.
spgroup/docker_joana
spgroup/epic-java
The EPiC-Java research project: an extension to the Java language based on OpenJDK's compiler.
spgroup/est-lab1-etapa2
spgroup/joana_execution
spgroup/refactool
Ferramenta de transformação de código c baseado no catálogo proposto em "A Catalogue of Refactorings to Remove Incomplete Annotations"
spgroup/rgmsPreprocessor
Pre-processor for the RGMS project.
spgroup/SemanticMergeTool
A merge tool that uses behaviour change by generating tests to find semantic conflicts
spgroup/SMATransf
spgroup/soot
Soot - A Java optimization framework
spgroup/spgroup.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
spgroup/SPL-Classification
spgroup/svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)