612 search results - page 89 / 123 » Using Static Analysis to Improve Automatic Test Generation |
103
click to vote
SERA
2004
Springer
15 years 5 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
100
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
117
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
BMCBI
2005
14 years 11 months ago
2005
Background: Wise et al. introduced a rank-based statistical technique for meta-analysis of genome scans, the Genome Scan Meta-Analysis (GSMA) method. Levinson et al. recently desc...