606 search results - page 95 / 122 » A Comparative Study of Industrial Static Analysis Tools |
191
click to vote
SPIN
2012
Springer
13 years 17 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
114
Voted
DILS
2008
Springer
14 years 12 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...
56
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: Bioinformatics tools are commonly used for assessing potential protein allergenicity. While these methods have achieved good accuracies for highly conserved sequences,...
171
Voted
GIS
2008
ACM
15 years 11 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...