Sciweavers

516 search results - page 45 / 104
» A Critical Analysis of Empirical Research in Software Testin...
Sort
View
CSB
2004
IEEE
152views Bioinformatics» more  CSB 2004»
13 years 11 months ago
Comparative Analysis of Gene Sets in the Gene Ontology Space under the Multiple Hypothesis Testing Framework
The Gene Ontology (GO) resource can be used as a powerful tool to uncover the properties shared among, and specific to, a list of genes produced by high-throughput functional geno...
Sheng Zhong, Lu Tian, Cheng Li, Kai-Florian Storch...
CAV
2011
Springer
253views Hardware» more  CAV 2011»
12 years 11 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
BMCBI
2004
100views more  BMCBI 2004»
13 years 7 months ago
Handling multiple testing while interpreting microarrays with the Gene Ontology Database
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
Michael V. Osier, Hongyu Zhao, Kei-Hoi Cheung
ICSM
2008
IEEE
14 years 2 months ago
Change impact analysis for AspectJ programs
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
HICSS
2008
IEEE
107views Biometrics» more  HICSS 2008»
14 years 2 months ago
Does Knowledge Management Pay Off?
The resource-based theory of the firm attributes superior firm performance to organizational resources that are valuable, rare, irreplaceable, and not readily reproduced. Aligned ...
Clyde W. Holsapple, Jiming Wu