What is the correct approach to carry out phase 4 using the clpfd library of Sicstus Prolog?
a) Use the chaining approach for software test data g...
What is the correct approach to carry out phase 4 using the clpfd library of Sicstus Prolog?
a) Use the chaining approach for software test data generation. b) Implement automatic generation of test inputs for Mercury. c) Apply a program transformation based on PE to make failure explicit in the Prolog programs.
Compartir