This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata
Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik
Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
Latest Versions
16 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
0.18.x | 0.18.0 |
2
| Feb 06, 2025 | |
0.17.x | 0.17.0 |
2
| Nov 15, 2023 | |
0.16.x | 0.16.0 |
1
| Oct 12, 2020 | |
0.15.x | 0.15.0 |
1
| Feb 06, 2020 | |
0.14.x | 0.14.0 |
1
| Feb 18, 2019 | |
0.13.x | 0.13.1 |
1
| May 11, 2018 | |
| 0.13.0 |
1
| Feb 08, 2018 | ||
0.12.x | 0.12.0 |
1
| Jun 04, 2015 | |
0.11.x | 0.11.2 |
1
| Apr 26, 2015 | |
| 0.11.1 |
1
| Jan 16, 2015 | ||
0.10.x | 0.10.1 |
1
| Jun 14, 2014 | |
| 0.10.0 |
1
| Apr 16, 2014 | ||
0.9.x | 0.9.1 |
1
| Nov 07, 2013 | |
| 0.9.1-ase2013-tutorial |
0
| Nov 06, 2013 | ||
| 0.9.1-ase2013-tutorial-r1 |
1
| Dec 13, 2013 |
