We present a method and a tool for generating test sets from algebraic data type specifications. We give formal definitions of the basic concepts required ...

It turns out that PROLOG is a very well suited tool for generating test sets in this context and can be improved by using PROLOG, which allows the ...

Feb 4, 2016 · We present a method and a tool for generating test sets from algebraic data type specifications. We give formal definitions of the basic ...

May 28, 2005 · We present a method and a tool for generating test sets from algebraic data type specifications. We give formal definitions of the basic ...

Nov 14, 2013 · APPLICATIONS OF PROLOG TO TEST SETS GENERATION FROM ALGEBRAIC SPECIFICATIONS. 1 January 1985. Discover More ...

We present a method and a tool for generating test sets from algebraic data type specifications. We give formal definitions of the basic concepts required ...

Article "Application of PROLOG to test sets generation from algebraic specifications." Detailed information of the J-GLOBAL is an information service ...

Automatic test-case generation from Prolog specifications encounters problems due to recursion, evaluable predicates, and term ordering.

This paper describes an automatic program generator which creates PROLOG programs from input/output specifications. The generator takes as input.

Automatic test-case generation from Prolog specifications encounters problems due to recursion, evaluable predicates, and term ordering.