sbu-test-lab
Popular repositories Loading
-
cs-cpp-figure
cs-cpp-figure PublicA C++ implementation of a geometric figures example based on formal specification Object-Z
-
cs-cpp-set-hierarchy
cs-cpp-set-hierarchy PublicA C++ implementation of a set hierarchy example based on formal specification Object-Z
C++
-
cs-cpp-tetris
cs-cpp-tetris PublicA C++ implementation of a Tetris game based on formal specification Object-Z
C++
-
-
Repositories
- object-coverage-case-studies Public
OCov4J (Object Coverage Metric for Java) on real cases and examples
sbu-test-lab/object-coverage-case-studies’s past year of commit activity - mu-runner Public
MuRunner is an axillary tool to run your tests against your mutants (which have been manually or automatically created). After blending each mutant with your project, the tool builds the faulty version and runs your tests. Finally it reports the mutation killed ratio.
sbu-test-lab/mu-runner’s past year of commit activity - test-machine-tracer Public
sbu-test-lab/test-machine-tracer’s past year of commit activity - cs-cpp-set-hierarchy Public
A C++ implementation of a set hierarchy example based on formal specification Object-Z
sbu-test-lab/cs-cpp-set-hierarchy’s past year of commit activity - cs-cpp-figure Public
A C++ implementation of a geometric figures example based on formal specification Object-Z
sbu-test-lab/cs-cpp-figure’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…