spgroup Goto Github PK

101companies-grails

conflict-static-analysis

confusion

Confusion Detection in Code Reviews

control-dependence-analysis

diffj

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

epic-java

The EPiC-Java research project: an extension to the Java language based on OpenJDK's compiler.

est-lab1-etapa2

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

osean.ex

Object Serialization by Test Suite Execution

papers

pdg-sdg

pl-refinement-templates-catalog

Repository for hosting the catalog of Product Line Refinement Templates

refactool

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

rgms

Research Group Management System

rgmspreprocessor

Pre-processor for the RGMS project.

s3m

super semi-structured merge tool

semanticmergetool

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

smat

smatransf

soot

Soot - A Java optimization framework

spgroup.github.io

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

spl-classification

static-semantic-merge

merge semantic tool based on static analysis

svfa-scala

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

theory-pl-refinement

PVS specification files for the theory of Software Product Line Refinement

theory-pl-refinement-coq

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