EuroSTAR Conference Tutorial (Copenhagen, Denmark)

At my fourth consecutive EuroSTAR conference, EuroSTAR 2010 in Copenhagen, Denmark, I presented a half-day tutorial on test framing, the skill of linking risk, oracles, coverage, and tests—and your account of them—in a coherent logical framework. The EuroSTAR slides and paper nan be be found here. There’s an updated version of the paper here.