Small Test Suites for Active Automata Learning: Supplemental Material

Published December 28, 2023 | Version v1

Software Open

Supplemental material for the paper: Small Test Suites for Active Automata Learning.

Submitted to TACAS 2024.

Files

Name	Size	Download all
artifact.zip md5:3463e4319ae6372c34c7bbad4743faf3	525.7 MB	Preview Download
License md5:a3b8ab478695fad2203131b757b9fe04	18 Bytes	Download
README.txt md5:1979f0c8dfff5a93057abb29a3a50b9b	19.3 kB	Preview Download

Citations

Oops! Something went wrong while fetching results.

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more