Software Productivity Group
Popular repositories Loading
-
ORM-Smells-Catalog
ORM-Smells-Catalog PublicRepository for the ORM-related Code Smells catalog
-
-
-
theory-pl-refinement
theory-pl-refinement PublicPVS specification files for the theory of Software Product Line Refinement
TeX 4
Repositories
Showing 10 of 32 repositories
- conflict-static-analysis Public
spgroup/conflict-static-analysis’s past year of commit activity - mergedataset Public
spgroup/mergedataset’s past year of commit activity - svfa-scala Public Forked from galilasmb/svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)
spgroup/svfa-scala’s past year of commit activity