Structural testing techniques are widely used in the unit test- ing process of softwares. A major challenge of this process consists in generating automatically ...

It uses constraint logic programming (CLP) to try and solve the problem of generating test cases in order to attain the structural covering of a procedure. A ...

We introduce here an original framework where the later problem is transformed into a CLP(FD) problem. Specific operators have been introduced to tackle this ...

An original framework where the later problem is transformed into a CLP(FD) problem is introduced, and a prototype system -- named INKA -- which allows to ...

Structural testing techniques are widely used in the unit testing process of softwares. A major challenge of this process consists in generating ...

—This paper presents a new technique for automatically generating test data. The technique is based on mutation analysis and creates test data that approximates ...

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...

May 19, 2017 · Arnaud Gotlieb, Bernard Botella, Michel Rueher: A CLP Framework for Computing Structural Test Data. Computational Logic 2000: 399-413.

This thesis develops an extensible search-based framework (exploiting heuristic optimisation techniques) to allow automated generation of test-data speci cally ...

A clp framework for computing structural test data. A Gotlieb, B Botella, M Rueher. International Conference on Computational Logic, 399-413, 2000. 159, 2000.