# Idea: add statistical labeling to elm-test

**URL:** <https://discourse.elm-lang.org/t/idea-add-statistical-labeling-to-elm-test/3618>\
**Category:** Request Feedback\
**Created:** [May 8, 2019, 1:13am UTC](https://discourse.elm-lang.org/t/idea-add-statistical-labeling-to-elm-test/3618 "2019-05-08T01:13:09Z")\
**Posts on this page:** 3\
**Page:** 2

<div class="post-metadata">

**Author:** ![Janiczek](https://yyz1.discourse-cdn.com/flex035/user_avatar/discourse.elm-lang.org/janiczek/32/4516_2.png) [@Janiczek](https://discourse.elm-lang.org/u/Janiczek)\
**Post date:** [May 20, 2019, 9:50pm UTC](https://discourse.elm-lang.org/t/idea-add-statistical-labeling-to-elm-test/3618/21 "2019-05-20T21:50:40Z")

</div>

This thread triggered my “coverage + AFL + fuzzing” buzzword bingo sense, so I’ll leave this here in case some folks don’t know about `elm-coverage` by @ilias 🙃[https://github.com/zwilias/elm-coverage](https://github.com/zwilias/elm-coverage)

---

<div class="post-metadata">

**Author:** ![gampleman](https://yyz1.discourse-cdn.com/flex035/user_avatar/discourse.elm-lang.org/gampleman/32/43_2.png) [@gampleman](https://discourse.elm-lang.org/u/gampleman)\
**Post date:** [May 22, 2019, 9:56am UTC](https://discourse.elm-lang.org/t/idea-add-statistical-labeling-to-elm-test/3618/22 "2019-05-22T09:56:24Z")

</div>

Speaking of AFL, I wonder how feasible it would be to start thinking about this in terms of [symbolic execution](https://arxiv.org/abs/1610.00502), i.e. move away (at least partially) from the random aspect of property testing.

I think the advantage here is that Elm is quite a minimalist language, so perhaps this could be a fruitful area of exploration. In particular purity seems to be a huge boon for symbolic execution as does the very limited FFI (i.e. kernel code would have to probably be reimplemented in some logic language to correctly suggest branches, but there is not that much of it).

---

<div class="post-metadata">

**Author:** ![brian](https://yyz1.discourse-cdn.com/flex035/user_avatar/discourse.elm-lang.org/brian/32/2180_2.png) [@brian](https://discourse.elm-lang.org/u/brian)\
**Post date:** [June 1, 2019, 9:56am UTC](https://discourse.elm-lang.org/t/idea-add-statistical-labeling-to-elm-test/3618/23 "2019-06-01T09:56:34Z")

</div>

This topic was automatically closed 10 days after the last reply. New replies are no longer allowed.

[Previous page](https://discourse.elm-lang.org/t/idea-add-statistical-labeling-to-elm-test/3618.md?page=1)