Skip to content
@functional-specification-based-testing

functional-specification-based-testing

README.md

Functional Specification Based Testing

This GitHub organization holds codes and other stuffs related to the Functional Specification Based Testing Research Project at Formal Methods and System Verification Lab, School of Electrical and Computer Engineering, University of Tehran.

Research Team

Published Work

Pinned Loading

  1. translator translator Public

    a translator to system under test protocol and some other helper scripts for a functional specification of a simple matching engine

    Python

  2. search-based-test-suite-generator search-based-test-suite-generator Public

    simple automatic search-based test-case generation based on functional specification of a simple matching engine

    Python

  3. haskell-matching-engine haskell-matching-engine Public

    a Haskell specification for matching engine of stock trading platform

    Haskell 3

Repositories

Showing 4 of 4 repositories
  • search-based-test-suite-generator Public

    simple automatic search-based test-case generation based on functional specification of a simple matching engine

    functional-specification-based-testing/search-based-test-suite-generator’s past year of commit activity
    Python 0 0 0 0 Updated Jun 13, 2024
  • haskell-matching-engine Public

    a Haskell specification for matching engine of stock trading platform

    functional-specification-based-testing/haskell-matching-engine’s past year of commit activity
    Haskell 0 GPL-3.0 3 0 0 Updated Dec 12, 2023
  • translator Public

    a translator to system under test protocol and some other helper scripts for a functional specification of a simple matching engine

    functional-specification-based-testing/translator’s past year of commit activity
    Python 0 0 0 0 Updated Dec 10, 2023
  • .github Public

    organization GitHub page

    functional-specification-based-testing/.github’s past year of commit activity
    0 0 0 0 Updated Aug 29, 2022

Top languages

Loading…

Most used topics

Loading…