It's an interesting one. Every time I speak with engineering teams about reliability and correctness, they all want more of it, yet when it comes to investing in it, it's never really a priority.
More often than not, people test the wrong things; they struggle to even identify the right properties to test.
I question my worldview on this because I don't think it's a particularly difficult problem. There are companies like Antithesis that have done incredible work in this space.
I am building in automated property-based testing, and it's not an easy sell.