Skip to content
Abstractly represent software error traces as finite automata.
Perl HTML Vim script Tcl Raku Shell Other
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs
pv-test
pv
tools
Makefile
README.md

README.md

learning-errors

Abstractly represent software error traces as finite automata.

Cite as Learning the language of error. Chapman, Martin and Chockler, Hana and Kesseli, Pascal and Kroening, Daniel and Strichman, Ofer and Tautschnig, Michael. International Symposium on Automated Technology for Verification and Analysis. 2015.

Build using:

#> make

Test using:

#> make test

A demo website is provided in doc/index.html. It includes animated automata generation demonstration, all benchmark source codes and a benchmark result summary.

You can’t perform that action at this time.