Skip to content
@sbu-test-lab

sbu-test-lab

Popular repositories

  1. ocov4j ocov4j Public

    Proof-of-Concept Tool: Object Coverage (OCov) - Boosting Java Test Coverage with Object Oriented Focus

    Java 2

  2. cs-cpp-figure cs-cpp-figure Public

    A C++ implementation of a geometric figures example based on formal specification Object-Z

  3. cs-cpp-set-hierarchy cs-cpp-set-hierarchy Public

    A C++ implementation of a set hierarchy example based on formal specification Object-Z

    C++

  4. cs-cpp-tetris cs-cpp-tetris Public

    A C++ implementation of a Tetris game based on formal specification Object-Z

    C++

  5. jtetris jtetris Public

    Implementation of a simple Tetris game with java language

    Java

  6. test-machine-tracer test-machine-tracer Public

    Java

Repositories

Showing 8 of 8 repositories
  • ocov4j Public

    Proof-of-Concept Tool: Object Coverage (OCov) - Boosting Java Test Coverage with Object Oriented Focus

    Java 2 0 0 0 Updated Apr 15, 2024
  • object-coverage-case-studies Public

    OCov4J (Object Coverage Metric for Java) on real cases and examples

    Java 0 Apache-2.0 0 0 0 Updated Sep 15, 2021
  • 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.

    Java 0 0 0 0 Updated Sep 15, 2021
  • jtetris Public

    Implementation of a simple Tetris game with java language

    Java 0 0 0 0 Updated Dec 17, 2020
  • test-machine-tracer Public
    Java 0 0 0 0 Updated Oct 7, 2020
  • cs-cpp-tetris Public

    A C++ implementation of a Tetris game based on formal specification Object-Z

    C++ 0 Apache-2.0 0 0 0 Updated Jun 1, 2020
  • cs-cpp-set-hierarchy Public

    A C++ implementation of a set hierarchy example based on formal specification Object-Z

    C++ 0 Apache-2.0 0 0 0 Updated Jan 27, 2020
  • cs-cpp-figure Public

    A C++ implementation of a geometric figures example based on formal specification Object-Z

    0 Apache-2.0 0 0 0 Updated Dec 18, 2019

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…