131 search results - page 1 / 27 » Combined static and dynamic mutability analysis |
74
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
190
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Effective buffer management is crucial for efficient inmemory and streaming XQuery processing. We propose a buffer management scheme which combines static and dynamic analysis to ...
100
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
119
click to vote
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
71
Voted
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE