HOW WE VERIFY THE CORRECTNESS OF A SPREADSHEET ENGINE

Summary from the TLDR newsletter

Spreadsheets have a ton of overlapping features, making them an interesting software domain. Spreadsheet engines ensure software quality by leaning on lightweight property-based testing. This article discusses property-based testing and how it is used to verify spreadsheets. It covers the different types of frameworks and tests, code for testing, examples, and more. Adding property tests to code can help reveal bugs. They provide immense value and are among the highest-value tests you can write.