612 search results - page 69 / 123 » Using Static Analysis to Improve Automatic Test Generation |
104
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
120
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Illumina Infinium whole genome genotyping (WGG) arrays are increasingly being applied in cancer genomics to study gene copy number alterations and allele-specific aber...
107
click to vote
COOP
2004
15 years 1 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
112
click to vote
FAC
2008
14 years 12 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...