systematic-testing

There are 0 repository under systematic-testing topic.

P
p-org / P
The P programming language.
asynchronous programming-language systematic-testing event-driven p distributed-systems state-machine model-checking formal-methods formal-verification
Language:C# 3462
microsoft / coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
systematic-testing software-reliability dotnet coyote testing testing-tools fuzzing
Language:C# 1571
Concuerror
parapluu / Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
concuerror erlang systematic-testing testing tool automatic otp concurrent-erlang-programs debugging verification concurrent-programming model-checking stateless-model-checking model-checker erlang-programs erlang-versions-badge codecov codecov-badge travis-badge
Language:Erlang 340
microsoft / cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
concurrency cpp software-reliability systematic-testing testing nondeterminism
Language:C++ 43
p-org / typescript-actors
State machine and actor libraries for TypeScript/JavaScript.
actors asynchronous event-driven javascript state-machines systematic-testing typescript
Language:TypeScript 12
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.
balance-sheet capital cashflow cashflow-analysis factor-analysis incomestatement investing investment quantitative-analysis quantitative-finance quantitative-methods research-project return systematic-testing
Language:Python 4
urasandesu / Bondage
This is an infrastructure to construct distributed application under the control of P#.
asynchronous event-driven state-machines systematic-testing dotnet psharp
Language:C# 1
urasandesu / PSharpPractice
This repository is going to be the practical sample collection of P#.
asynchronous event-driven state-machines systematic-testing dotnet psharp
Language:C# 1
FAIMS / trap-gridded-survey
Archaeology: A systematic surface field survey in the Mediterranean
archaeology faims field-survey survey systematic-testing
Language:Java