|
СТ |
Automatic Test Data Generation using Constraint Solving Techniques |
1998 |
Gotlieb A., Botella B., Rueher M. |
|
|
|
Software Engineering Notes |
30.07.1998 |
|
СТ |
An Architecture for Cooperating Constraint Solvers on Reals |
1995 |
Rueher M. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems |
1994 |
Solnon C., Rueher M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inherence of Type Relations |
1993 |
Solnon Ch., Rueher M. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1993 |
|
СТ |
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII |
1992 |
Solnon C., Rueher M. |
|
|
|
Lecture Notes in Computer Science |
15.10.1992 |
