Sciweavers

3167 search results - page 332 / 634
» Blog search engines
Sort
View
ISSTA
2010
ACM
15 years 7 months ago
A platform for search-based testing of concurrent software
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
Bohuslav Krena, Zdenek Letko, Tomás Vojnar,...
SEKE
2010
Springer
15 years 4 months ago
Architecture-centric development and evolution processes for component-based software
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
SIGSOFT
2007
ACM
16 years 7 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
CAD
2000
Springer
15 years 6 months ago
Managing digital libraries for computer-aided design
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
William C. Regli, Vincent A. Cicirello
ICDE
2008
IEEE
137views Database» more  ICDE 2008»
16 years 8 months ago
XML Prefiltering as a String Matching Problem
We propose a new technique for the efficient search and navigation in XML documents and streams. This technique takes string matching algorithms designed for efficient keyword sear...
Christoph Koch, Stefanie Scherzinger, Michael Schm...