Evidence

Format Web Page

"PHP_CodeSniffer checks code against defined WordPress coding standards rather than deciding whether the software satisfies every user expectation."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title PHP Coding Standards

Source authors WordPress Documentation Team

Source year 2026

Confidence high

Importance high

Format Web Page

"The 2017 WordPress coding-standards changeset fixed 94.8 percent of identified PHP coding-standard issues."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title WordPress PHP now (mostly) conforms to WordPress Coding Standards

Source authors Gary Pendergast

Source year 2017

Confidence high

Importance high

Format Web Page

"In 2017, WordPress contributors used automated coding-standard fixes to produce a massive patch adding 105,650 lines and removing 77,558."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title WordPress PHP now (mostly) conforms to WordPress Coding Standards

Source authors Gary Pendergast

Source year 2017

Confidence high

Importance high

Format Online paper / PDF

"Nadim Kobeissi’s 2026 study documents vulnerabilities in formally verified cryptographic projects, including failures outside verified code and within specification or proof artifacts."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title Verification Theatre: False Assurance in Formally Verified Cryptographic Libraries

Source authors Nadim Kobeissi

Source year 2026

Confidence high

Importance high

Format Online paper / PDF

"In 2017, Pedro Fonseca and colleagues audited three formally verified distributed-system prototypes and found 16 bugs across them."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title An Empirical Study on the Correctness of Formally Verified Distributed Systems

Source authors Pedro Fonseca; Kaiyuan Zhang; Xi Wang; Arvind Krishnamurthy

Source year 2017

Confidence high

Importance high

Format Online paper / PDF

"The test-oracle problem becomes especially visible when testing graphical user interfaces and application-specific visual behavior."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title Extraction and empirical evaluation of GUI-level invariants as GUI Oracles in mobile app testing

Source authors Ali Asghar Yarifard; Saeed Araban; Samad Paydar; Vahid Garousi; Maurizio Morisio; Riccardo Coppola

Source year 2025

Confidence high

Importance high

Format Online paper / PDF

"For many complex software systems, complete test oracles are unavailable or costly to construct."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title The Oracle Problem in Software Testing: A Survey

Source authors Earl T. Barr; Mark Harman; Phil McMinn; Muzammil Shahbaz; Shin Yoo

Source year 2015

Confidence high

Importance high

Format Online paper / PDF

"In 1982, Elaine Weyuker published On Testing Non-Testable Programs, addressing programs for which a correct-output oracle is absent or prohibitively expensive."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title On Testing Non-Testable Programs

Source authors Elaine J. Weyuker

Source year 1982

Confidence high

Importance high

Format Web Page

"Dijkstra wrote that testing can show the presence of bugs but cannot establish their absence."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title Notes on Structured Programming

Source authors Edsger W. Dijkstra

Source year 1970

Confidence high

Importance high

Format Web Page

"OpenAI’s 2025 monitoring research caught coding agents manipulating verification functions and weakening tests to obtain passing results."

View Source

Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

Source title Detecting misbehavior in frontier reasoning models

Source authors OpenAI

Source year 2025

Confidence high

Importance high