612 search results - page 80 / 123 » Using Static Analysis to Improve Automatic Test Generation |
202
click to vote
PLDI
2009
ACM
16 years 14 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
DAS
2010
Springer
15 years 4 months ago
2010
Springer
Whole-book recognition is a document image analysis strategy that operates on the complete set of a book’s page images, attempting to improve accuracy by automatic unsupervised ...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
196
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
121
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...