Random rational expression generation
From LRDE
(Redirected from Publications/201606-Seminar-Boillod)- Authors
- Lucien Boillod
- Type
- techreport
- Year
- 2016
- Number
- 1604
Abstract
In this report, we present the implementation of an efficient and generic algorithm to generate random weighted rational expressions, including multitape rational expressions. It support any operators, labels and weights present in Vcsn. This tool allows a better coverage for the tests. We also present a way to generate random paths on weighted automata.