The latter is a particularly promising method for GAO, because it can capitalize on the large number of case-study-like reports that are available, on the quality of the documentation that supports their findings, and on the general methodological framework that GAO's standards provide.
The latter is a promising method for GAO.