The IT field has been aware for decades that software can kill people and so we are witness of this fact again with Boeing and its two airplanes 737 Max crashing and killing everyone on board due to erroneous software in the accompanying MCAS system. Continue reading
Software testing has been an important, if not prevalent way of checking software correctness. In this article I will tell how have my doctoral dissertation on testing and verification of imperative software as well as my work experience after the studies led me to typed functional programming, which consequently gave me a different perspective on automatic software testing. Furthermore, I’ll explain why functional programming and static type systems are important for software correctness.