4609 search results - page 391 / 922 » Automatic Generation of Sigma-Protocols |
169
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
154
click to vote
SAS
2005
Springer
16 years 8 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
172
click to vote
COMPSAC
2003
IEEE
16 years 2 days ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
170
click to vote
EUROMICRO
2003
IEEE
16 years 2 days ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
183
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
The Web is a valuable source of language speci c resources but the process of collecting, organizing and utilizing these resources is di cult. We describe CorpusBuilder, an approa...