Sciweavers

606 search results - page 9 / 122
» A Comparative Study of Industrial Static Analysis Tools
Sort
View
SIGOPS
2010
162views more  SIGOPS 2010»
14 years 8 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
SCAM
2008
IEEE
15 years 4 months ago
The Evolution and Decay of Statically Detected Source Code Vulnerabilities
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
Massimiliano Di Penta, Luigi Cerulo, Lerina Aversa...
86
Voted
BMCBI
2010
110views more  BMCBI 2010»
14 years 10 months ago
GenHtr: a tool for comparative assessment of genetic heterogeneity in microbial genomes generated by massive short-read sequenci
Background: Microevolution is the study of short-term changes of alleles within a population and their effects on the phenotype of organisms. The result of the below-species-level...
GongXin Yu
ISORC
2008
IEEE
15 years 4 months ago
Usability Aspects of WCET Analysis
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
Jan Gustafsson
COMPSAC
2009
IEEE
15 years 4 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang