• Stars
    star
    1
  • Language
    Java
  • Created about 7 years ago
  • Updated over 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Dynamically analyses the source code by running tests after an instrumentation

More Repositories

1

NeoEMF

Multi-backend EMF persistence framework.
Java
51
star
2

emfviews

Lightweight views for your models
Java
15
star
3

coqtl

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Coq
13
star
4

Mogwai

Automatic translation from OCL to Gremlin
Java
10
star
5

UML2NoSQL

Java
7
star
6

ATLGT

Bidirectional version of ATL on top of the GRoundTram transformation engine
OCaml
6
star
7

zoo

Atlanmod Zoo
Shell
6
star
8

mondo-atlzoo-benchmark

Java
4
star
9

Prefetching_Caching_DSL

DSL to express Caching/Prefetching rules for NeoEMF
Java
4
star
10

CyprIoT

Design a network of things.
Java
4
star
11

hadoop-cluster-docker

A test environment for ATL-MR (ATL in MapReduce)
Shell
3
star
12

pacmon

Framework for monitoring energy consumptions of Java programs
Java
3
star
13

ATL_MR

ATL on MapReduce
Java
2
star
14

busfactor_demo

Bus factor demo SANER'15
2
star
15

modisco

Model Discover
Java
2
star
16

monoge

(Deprecated) Lightweight metamodel extension
Java
2
star
17

NeoEMF-hbase

A decentralized implementation of NeoEMF in HBase
Java
1
star
18

mondo-openbim-benchmark

Assembly
1
star
19

atlantic-zoo

HTML
1
star
20

openness

Analyzing openness of GitHub projects
1
star
21

EnergyModel

Java
1
star
22

org.eclipse.atl.reactive

Assembly
1
star
23

sexp2emf

Turn S-expressions into EMF models
Java
1
star
24

arduinomodeling

Java
1
star
25

csy-traceability

Java
1
star
26

OCL2fUML

Assembly
1
star
27

neoEMF-Instantiator

A random generator of EMF models, using the NeoEMF
Java
1
star
28

coqtl-model-import

Xtend
1
star
29

MDE4RTS

Java
1
star
30

EMFTVM-D

a fork of the official alt repository extending emftvm to handle distributed execution environment
Assembly
1
star
31

org.eclipse.atl.reactive.haskell_semantics

Haskell
1
star
32

dynamic_modisco

Inject dynamic analysis into MoDisco models
Kotlin
1
star
33

eel

EEL, a language to estimate the energy consumption of running models.
Java
1
star
34

atlanmod-model-finder

CLI tool to download models
Java
1
star
35

ttc-2013-flowgraphs-ATL

Assembly
1
star
36

theia-ecore-editor

Reflective ecore tree editor for Theia based on ModelServer
TypeScript
1
star
37

model-consistency

Model Consistency Prototype
Java
1
star
38

fREX

fUML-based reverse engineering of executable behavior
Assembly
1
star