279 search results - page 43 / 56 » Understanding the value of program analysis tools |
ANSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...
JCC
2011
12 years 10 months ago
2011
: Molecular recognition plays a fundamental role in all biological processes, and that is why great efforts have been made to understand and predict protein–ligand interactions. ...