specification-by-example

Here are 2 public repositories matching this topic...

The largest curated benchmark suite for LTLf (Linear Temporal Logic on Finite Traces) Learning.

learning ltl temporal-logic specification-by-example ltlf

BDD - Specification by Example wrapper for XUnit & NUnit

testing xunit bdd nunit specification-by-example

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

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