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