Sciweavers

305 search results - page 22 / 61
» Search based software testing of object-oriented containers
Sort
View
89
Voted
SIGMOD
2011
ACM
270views Database» more  SIGMOD 2011»
14 years 9 days ago
Automatic discovery of attributes in relational databases
In this work we design algorithms for clustering relational columns into attributes, i.e., for identifying strong relationships between columns based on the common properties and ...
Meihui Zhang, Marios Hadjieleftheriou, Beng Chin O...
64
Voted
SEFM
2007
IEEE
15 years 3 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
NAR
2007
122views more  NAR 2007»
14 years 9 months ago
The Online Bioinformatics Resources Collection at the University of Pittsburgh Health Sciences Library System - a one-stop gatew
To bridge the gap between the rising information needs of biological and medical researchers and the rapidly growing number of online bioinformatics resources, we have created the...
Yi-Bu Chen, Ansuman Chattopadhyay, Phillip Bergen,...
JSS
2006
82views more  JSS 2006»
14 years 9 months ago
Packaging experiences for improving testing technique selection
One of the major problems within the software testing area is how to get a suitable set of cases to test a software system. A good set of test cases should assure maximum effectiv...
Sira Vegas, Natalia Juristo Juzgado, Victor R. Bas...
IPPS
2005
IEEE
15 years 3 months ago
Comparison of Current BLAST Software on Nucleotide Sequences
The computational power needed for searching exponentially growing databases, such as GenBank, has increased dramatically. Three different implementations of the most widely used ...
I. Elizabeth Cha, Eric C. Rouchka