Mostly about testing for most people, but lots of cool ideas floating around, especially in Formal Methods
Mostly avoid unit tests
Metamorphic Testing • Hillel Wayne
The vast majority of industrial spreadsheets contain critical errors.1
Pak-Lok Poon et al., “Spreadsheet Quality Assurance: A Literature Review,” Frontiers of Computer Science 18, no. 2 (2024): 182203, https://doi.org/10.1007/s11704-023-2384-6.