SoftEngResearch
Popular repositories Loading
-
tracemop
tracemop PublicForked from runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
-
-
-
rv-predict
rv-predict Public archiveForked from runtimeverification/rv-predict
Code for improved rv-predict and installer
C 1
Repositories
Showing 10 of 13 repositories
- pymop Public
SoftEngResearch/pymop’s past year of commit activity - tracemop Public Forked from runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
SoftEngResearch/tracemop’s past year of commit activity - lazymop Public
SoftEngResearch/lazymop’s past year of commit activity - rv-study-artifacts Public
SoftEngResearch/rv-study-artifacts’s past year of commit activity - Valg Public
SoftEngResearch/Valg’s past year of commit activity - exli Public Forked from EngineeringSoftware/exli
Automatic extraction of inline tests (from unit tests)
SoftEngResearch/exli’s past year of commit activity - FineMOP Public
SoftEngResearch/FineMOP’s past year of commit activity - inlinetest Public Forked from EngineeringSoftware/inlinetest
Tests that check correctness of a single statement
SoftEngResearch/inlinetest’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…