# Testing methodologies

**URL:** <https://forum.elixirforum.com/t/testing-methodologies/22191>\
**Category:** Questions\
**Tags:** testing\
**Created:** [May 6, 2019, 9:59am UTC](https://forum.elixirforum.com/t/testing-methodologies/22191 "2019-05-06T09:59:09Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![WFransen](https://forum.elixirforum.com/user_avatar/forum.elixirforum.com/wfransen/32/15594_2.png) [@WFransen](https://forum.elixirforum.com/u/WFransen)\
**Post date:** [May 6, 2019, 9:59am UTC](https://forum.elixirforum.com/t/testing-methodologies/22191/1 "2019-05-06T09:59:09Z")

</div>

Dear Elixir Forum,

As I’m trying to integrate Elixir in our workplace, the need has arisen for testing.

I’ve read in “The Little Elixir & OTP Guidebook” that there is [GitHub - parapluu/Concuerror: Concuerror is a stateless model checking tool for Erlang programs. · GitHub](https://github.com/parapluu/Concuerror), but what I’d like to know is how this can easily be integrated in current TDD driven methodologies. Same goes for Property based testing, but I haven’t tried this in-depth yet.

Are there any tips for this? Or is there a similar library specifically for Elixir?

Regards,