675 search results - page 33 / 135 » Programming Constraint Inference Engines |
124
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
121
click to vote
AICCSA
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
185
click to vote
VL
2010
IEEE
15 years 18 days ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
110
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
102
click to vote
ICFEM
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...