“I realised that both verification and testing were using the same technology—assertions—on a common goal of improving software products in their speed of delivery, their quality, and their reliability.”
Tony Hoare (verified)
• Title: Theories of Programming: The Life & Works of Tony Hoare
• Author: Cliff B. Jones (editor), Jayadev Misra (editor)
• Type: Book
• Publisher: Association for Computing Machinery (ACM)
• Publication time: Oct, 2021
• Publication place: New York, United States
• ISBN: 9781450387286
• Link: https://dl.acm.org/doi/book/10.1145/3477355