Amar Bendou

According to our database, Amar Bendou authored at least 2 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of five.

1997

A Symbolic Execution Based Approach for Inspecting Knowledge Bases.

Amar Bendou, Marc Ayel

Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

1995

CT-DATAGEN: A Constraint Based Test Data Generator.

Amar Bendou

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995