Skip to content
@functional-specification-based-testing

functional-specification-based-testing

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

Top languages

Loading…

Most used topics

Loading…