Two approaches for OP measurement - Killing assays (Steiner, ... 2Four hundred eighty files. 3Does not require constant attention. 3.6hr or 0.9hr per serotype ...
Consider only external interfaces. inputs, outputs and usage ... Post conditions can be used to check outcomes test oracle. Executable formal specifications ...