Sciweavers

6693 search results - page 281 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
RISE
2005
Springer
16 years 1 days ago
Software Testing with Evolutionary Strategies
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
Enrique Alba, J. Francisco Chicano
LKR
2008
15 years 8 months ago
What Types of Translations Hide in Wikipedia?
Abstract. We extend an automatically generated bilingual JapaneseSwedish dictionary with new translations, automatically discovered from the multi-lingual online encyclopedia Wikip...
Jonas Sjöbergh, Olof Sjöbergh, Kenji Ara...
CIKM
2009
Springer
15 years 10 months ago
Generating SQL/XML query and update statements
The XML support in relational databases and the SQL/XML language are still relatively new as compared to purely relational databases and traditional SQL. Today, most database user...
Matthias Nicola, Tim Kiefer
TACAS
2010
Springer
245views Algorithms» more  TACAS 2010»
16 years 1 months ago
Stranger: An Automata-Based String Analysis Tool for PHP
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
Fang Yu, Muath Alkhalaf, Tevfik Bultan
DAC
2001
ACM
16 years 7 months ago
An Algorithm for Bi-Decomposition of Logic Functions
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
Alan Mishchenko, Bernd Steinbach, Marek A. Perkows...