7167 search results - page 318 / 1434 » A Technique for Invariant Generation |
219
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Mining generator patterns has raised great research interest in recent years. The main purpose of mining itemset generators is that they can form equivalence classes together with...
211
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
193
Voted
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
211
Voted
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
235
click to vote
EUROCRYPT
2006
Springer
15 years 11 months ago
2006
Springer
In this work we provide efficient distributed protocols for generating shares of random noise, secure against malicious participants. The purpose of the noise generation is to crea...