Yes, we need property testing of this stuff to become the norm. https://erlangcentral.org/videos/testing-automotive-software-with-erlang/ https://erlangcentral

Yes, we need property testing of this stuff to become the norm. https://erlangcentral.org/videos/testing-automotive-software-with-erlang/ https://erlangcentral.org/videos/testing-automotive-software... http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quviq-testing.pdf http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quviq-...