Laura Castro on Property-Based Testing in Elixir

Laura Castro, a Professor at University of A Coruña, gave a lecture to my Introduction to Functional Programming class at the Federal University of Technology - Paraná (UTFPR) on July 29th, 2021.

YouTube:

Her slides are at https://www.slideshare.net/lauramcastro/why-on-earth-would-i-test-if-i-have-to-just-let-it-crash

Repos:

• https://gitlab.com/lauramcastro/analytic-tableaux-elixir
• https://gitlab.com/lauramcastro/elixir-echo

Correction: PropEr [1][2] is not part of OTP. Dialyzer [3] is. Both were developed by Kostis Sagonas and his team.

• [1] https://proper-testing.github.io/
• [2] https://github.com/proper-testing/proper
• [3] http://erlang.org/doc/apps/dialyzer/index.html

Laura on Twitter: https://twitter.com/lauramcastro

Laura's websites:

• https://about.me/laura.castro and https://sites.google.com/view/lauracastro
• Laura Castro's publications on Google Scholar https://scholar.google.com/citations?user=uWBv3OMAAAAJ&hl=en

Tweet about this lecture:

Laura M. Castro (of House Pfizer 💉💉)

@lauramcastro

In a few minutes, I'll be talking to @adolfont students about #testing on the #BEAM.

Isn't it funny, though?
Don't we keep repeating the "let it crash" motto?
What is it, then? Just a facade? A honeypot?

#myElixirStatus #weBEAMtogether

15:56 PM - 29 Jul 2021