CT-DATAGEN: A Constraint Based Test Data Generator. - Amar Bendou (EUROVAV, 1995)

A Symbolic Execution Based Approach for Inspecting Knowledge Bases. - Amar Bendou; Marc Ayel (EUROVAV, 1997)