komorowski%MIT-OZ@sri-unix.UUCP (03/24/84)
From: Jan <komorowski@MIT-OZ>
[Forwarded from the MIT bboard by Laws@SRI-AI.]
SEMINAR
LOGIC PROGRAM DERIVATION
Danny Krizanc
Harvard University
Tuesday, April 3, 1984
4 PM
Aiken G23
Danny will present a work he has done in my course Technology of Logic
Programming on program transformation. The method of Burstall and
Darlington is translated into resolution-based theorem proving and
applied to logic programs. The method is subsequently extended beyond
the limits of the functional approach.komorowski%MIT-OZ@sri-unix.UUCP (03/24/84)
From: Jan <komorowski@MIT-OZ>
[Forwarded from the MIT bboard by Laws@SRI-AI.]
COLLQUIUM
APPLICATION OF PROLOG TO GENERATION OF TEST DATA
FROM ALGEBRAIC SPECIFICATIONS
Prof. Marie-Claude Gaudel
Universite de Paris-Sud
Monday, April 9, 1984
4 PM
Aiken Lecture Hall
Tea in Pierce 213 at 3:30
ABSTRACT: Functional testing or "black-box testing has been recognized
for a long time as an important aspect of software validation. With
the emrgence of formal specification methods it becomes possible to
found functional testing on a rigorous basis. This lecture presents a
method of generating sets of test data from algebraic specifications.
The method has been impelemted using Prolog. It turns out that Prolog
is avery well-suited tool for generating sets of test data in this context.
Host : Professor Henryk Jan Komorowski