3547 search results - page 139 / 710 » Pseudo-Exhaustive Testing for Software |
251
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
183
click to vote
ICSM
2002
IEEE
15 years 12 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
165
click to vote
JCC
2011
15 years 1 months ago
2011
: The Poisson–Boltzmann equation (PBE) is an established model for the electrostatic analysis of biomolecules. The development of advanced computational techniques for the soluti...
213
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
190
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...