TorXakis / TorXakis Star 47 Code Issues Pull requests A tool for Model Based Testing test model test-suite formal-methods testing-framework test-case-generation testing-tool composable-models executable-specification Updated Apr 17, 2022 Haskell
AlexeyTolstopyatov / jellybins Star 1 Code Issues Pull requests Discussions Утилита для анализа двоичных файлов static-analysis binary-analysis program-analysis executable-specification windows-executable binary-prediction aout-executable Updated Dec 13, 2024 C#
hungdao-testing / cubano_rwa Star 0 Code Issues Pull requests Living documentation and Executable Specification by Cubano(Concordion) framework living-documentation concordion executable-specification cubano Updated Jul 29, 2021 Java
Romfos / NGherkin Star 0 Code Issues Pull requests Modern Gherkin-based BDD framework for .NET ecosystem testing dotnet bdd spec gherkin tests cucumber test-automation-framework executable-specification Updated Nov 20, 2024 C#