Sciweavers

131 search results - page 1 / 27
» Combined static and dynamic mutability analysis
Sort
View
KBSE
2007
IEEE
14 years 5 months ago
Combined static and dynamic mutability analysis
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...
Shay Artzi, Adam Kiezun, David Glasser, Michael D....
ICDE
2007
IEEE
151views Database» more  ICDE 2007»
15 years 3 days ago
Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery Evaluation
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 ...
Michael Schmidt, Stefanie Scherzinger, Christoph K...
ISSTA
2010
ACM
14 years 2 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
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...
Patrice Godefroid, Johannes Kinder
EDCC
2005
Springer
14 years 4 months ago
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
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...
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel...