Runnable protocol specifications using the logic interpreter SLOG. - N. Choquet; Laurent Fribourg; Anne Mauboussin (PSTV, 1985)

Application of Prolog to Test Sets Generation from Algebraic Specifications. - Luc Bougé; N. Choquet; Laurent Fribourg; Marie-Claude Gaudel (TAPSOFT, Vol.2, 1985)

Test sets generation from algebraic specifications using logic programming. - Luc Bougé; N. Choquet; Laurent Fribourg; Marie-Claude Gaudel (J. Syst. Softw., 1986)