352 search results - page 9 / 71 » Evaluating the imprecision of static analysis |
102
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
WCE
2007
15 years 3 months ago
2007
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
164
Voted
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
104
Voted
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
CEJCS
2011
14 years 1 months ago
2011
: Network analytic method designed for the analysis of static networks promise to identify significant relational patterns that correlate with important structures in the complex ...