Knowledge-based functional specification of test and maintenance programs

Chantal Robach, Daniel Lutoff, Nouar Garcia. Knowledge-based functional specification of test and maintenance programs. IEEE Trans. on CAD of Integrated Circuits and Systems, 8(11):1145-1156, 1989. [doi]