#

systematic-testing

Here are 8 public repositories matching this topic...

p-org / P

The P programming language.

language programming-language distributed-systems state-machine robotics asynchronous systematic-testing event-driven model-checking drones p

Updated Mar 29, 2022
OpenEdge ABL

microsoft / coyote

Open

Rewrite as a MSBuild task

1

bruno-garcia commented May 30, 2021

I wonder if it was considered to add a rewrite step as a MSBuild target in the NuGet package. This way calling the tool coyote rewrite wouldn't be needed as that would be done automatically once the assembly is generated.

Could possibly be done if a specific property is provided like /p:CoyoteRewrite=true or be an opt-out when Configuration=Debug.

Read more

good first issue

Concuerror

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

testing debugging erlang otp tool verification systematic-testing travis-badge concuerror automatic concurrent-erlang-programs concurrent-programming model-checking codecov model-checker codecov-badge stateless-model-checking erlang-versions-badge erlang-programs

Updated Sep 28, 2021
Erlang

microsoft / coyote-scheduler

Language-agnostic systematic concurrency testing.

cpp ffi concurrency systematic-testing coyote

Updated Sep 27, 2021
C++

p-org / typescript-actors

State machine and actor libraries for TypeScript/JavaScript.

javascript typescript actors asynchronous systematic-testing event-driven state-machines

Updated Jul 24, 2019
TypeScript

urasandesu / PSharpPractice

This repository is going to be the practical sample collection of P#.

dotnet asynchronous systematic-testing event-driven state-machines psharp

Updated Jul 11, 2017
C#

urasandesu / Bondage

This is an infrastructure to construct distributed application under the control of P#.

dotnet asynchronous systematic-testing event-driven state-machines psharp

Updated Nov 5, 2017
C#

FAIMS / trap-gridded-survey

Archaeology: A systematic surface field survey in the Mediterranean

systematic-testing survey archaeology field-survey faims

Updated Nov 22, 2021
Java

Improve this page

Add a description, image, and links to the systematic-testing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the systematic-testing topic, visit your repo's landing page and select "manage topics."