systematic-testing

There are 9 repositories under systematic-testing topic.

p-org/P
The P programming language.
Language:C#3k 108 261179
microsoft/coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Language:C#1.5k 38 9577
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language:Erlang333 16 13941
microsoft/cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
Language:C++43 4 06
p-org/typescript-actors
State machine and actor libraries for TypeScript/JavaScript.
Language:TypeScript12 7 11
QuizeCapital/Return.On.Invested.Capital
Return On Invested Capital - This repository contains files that demonstrate Quantitative systematic investment strategy using Return On Invested Capital as a single factor strategy.
Language:Python3 1 00
urasandesu/Bondage
This is an infrastructure to construct distributed application under the control of P#.
Language:C#1 3 0
urasandesu/PSharpPractice
This repository is going to be the practical sample collection of P#.
Language:C#1 3 0
FAIMS/trap-gridded-survey
Archaeology: A systematic surface field survey in the Mediterranean
Language:Java7 0