oh. I don’t thing you have been looking…
Exploratory testing and Session-based test management… and Rapid Software Testing.
Testing challenges by Ministry of Testing , communities of of testing professionals using tool-based testing to learn about the application under test.
Cynefin model to address the complexity of the problem domain.
ATDD and BDD to discuss and codify requirements.
And the whole “testing vs checking” debate, that identifies that some of testing can be simply confirmed — while hypothesis and ideas could never magically appear out of code.
perfectly fulfilled requirements may still fail.