0:00 / 0:00
#erlang#cuter#concolic-testing
Erlang Factory SF 2016 - Kostis Sagonas - A CutEr Tool
Erlang Solutions
18K subscribers • 48 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
Intermediate. Assumes working knowledge.
1.5K views10 years ago2 recommendations
Programming languagesTools and practiceElixir and ErlangTesting
Kostis Sagonas presents CutEr, a tool for concolic testing of Erlang programs to automatically find bugs and crashes.
The uploader added no description.Why it's here
2 people recommend thisWhat people say. Recommended as an excellent resource on advanced testing tools and research in the Erlang ecosystem.
u/get-finchin r/haskell • Recommends
On “Existential Question: How practically useful is Haskell's type-system and Purity?”
…r (assuming you actually put in your CI Chain) and with Testing. I have built some major systems in Erlang and would not hesitate to use it again. Dialyzer is an amazing tool and it can find a lot of strange corner cases. In addition Kostis Sagonis' group at Upsala and NTUA is making Erlang testing an area of active research See this talk from EUC link to this video
So would I recommend Elm over Raw JS, 100% no contest. Would I recommend Haskell over Erlang or Elixir, well that is a bit more nuanced. Both offer major benefits and some downsides. I would say choosing to do a project in Elixir would be a good choice for many teams as would doing it in Haskell.
I would also Point out that this year's…