8141 search results - page 1472 / 1629 » Higher Order Generalization |
147
click to vote
ISMAR
2007
IEEE
16 years 18 days ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
154
click to vote
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
155
click to vote
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
169
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
141
click to vote
ASIACRYPT
2007
Springer
16 years 15 days ago
2007
Springer
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...