Brodlie, K.W.Pfaff, G.E.2014-07-302014-07-3019821467-8659https://doi.org/10.1111/j.1467-8659.1982.tb00029.xThe outcome of the Miltenberg meeting shows that a practical method of certification by testing (falsification) can be developed, given a reasonable amount of time and effort. It is based on semiautomatic comparison at the "device" interface of a candidate implementation against a so-called reference implementation. A prerequisite for this method is the availability of a number of isolated simple basic facilities of the candidate implementation which have been verified by pictorial testing and by testing through operator actions.To permit semi-automatic comparison, a format for describing graphical output and input items and their associated properties must be defined. The workshop produced an outline design for such a format, which can be applied at any interface within GKS at which testing might be desirable.10.1111/j.1467-8659.1982.tb00029.x88-90