In this paper, we present a novel marriage of static and dynamic analysis. Given a large code base with many functions and a mature test suite, we propose using static analysis to find functions 1) with assertions or other evident correctness properties (e.g., array bounds requirements or pointer access) and 2) with simple enough control flow and data use to be amenable to predicateabstraction ...

Lead content, enrichment factors, and isotopic composition (208Pb/206Pb 207Pb/206Pb) measured in atmospheric particulate matter (PM10) samples collected for nine years at Ny-Ålesund (Svalbard islands, Norwegian Arctic) during spring summer are presented discussed. The possible source areas (PSA) inferred from Pb isotope ratio values were compared to cluster analysis of back-trajectories. Result...

the goal of this prospective study was to determine die prevalence of certain surgical findings in iranian patients with appendicitis in one of our surgical centers, including: position of the appendix, rate of true appendicitis, perforation, and peritonitis. duplication was observed in 4%, surface exudate in 52%, gangrenous necrosis in 27%, swelling in 79%, appendix in the left lower quadrant ...