4609 search results - page 135 / 922 » Automatic Generation of Sigma-Protocols |
258
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
145
click to vote
JSS
2008
15 years 6 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
158
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
210
click to vote
EPS
1998
Springer
15 years 10 months ago
1998
Springer
We use the genetic programming (GP) paradigm for two tasks. The first task given a GP is the generation of rules for the target / clutter classification of a set of synthetic apert...
192
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...