The Green Test Lies: Dependent Types and a Multi-Agent System vs QA Tools
How to find bugs not in applications, but in the QA tools themselves, which we trust to provide testing results.
T-Bank