Filters








92,812 Hits in 4.7 sec

Differentially Testing Soundness and Precision of Program Analyzers [article]

Christian Klinger, Maria Christakis, Valentin Wüstholz
2018 arXiv   pre-print
In this paper, we present the first automated technique for differentially testing soundness and precision of program analyzers.  ...  Our technique detected soundness and precision issues in most analyzers, and we evaluated the implications of these issues to both designers and users of program analyzers.  ...  ACKNOWLEDGMENTS We are very grateful to the program-analysis designers that we contacted, Matthias Dangl, Arie Gurfinkel, Jorge Navas, and Zvonimir Rakamaric, for their prompt replies and fixes as well  ... 
arXiv:1812.05033v2 fatcat:ygujkf4a3ba7jojh2d57gmmd7m

Testing Static Analyzers with Randomly Generated Programs [chapter]

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
2012 Lecture Notes in Computer Science  
Static analyzers should be correct. We used the random Cprogram generator Csmith, initially intended to test C compilers, to test parts of the Frama-C static analysis platform.  ...  Several bugs were also found in Csmith, even though it had been extensively tested and had been used to find numerous bugs in compilers.  ...  The originality of our experiment is that differential testing does not apply directly to static analyzers.  ... 
doi:10.1007/978-3-642-28891-3_12 fatcat:56wsztwsbnejdp26tm4olshw7a

Integrating Physical Systems in the Static Analysis of Embedded Control Software [chapter]

Patrick Cousot
2005 Lecture Notes in Computer Science  
Abstract interpretation: effectively compute an abstraction/ sound approximation of the program semantics, --which is precise enough to imply the desired property, and --coarse enough to be efficiently  ...  Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4 th ACM POPL.  ...  State-of-the-art testing of the plant control program ---Extremely heavy and expensive (e.g. iron bird) ---Not exhaustive ---Extended during plant test period (e.g. certification flight tests) ---Late  ... 
doi:10.1007/11575467_10 fatcat:tbbsmdb7jng7bat2wrzcyqc6yy

Review of Aircraft Vibration Environment Prediction Methods

Junqing Bai, Cheng Wang, Fuyong Wan, Guirong Yan
2011 Procedia Environmental Sciences  
structure, theory analysis and analytical solution of differential dynamical equation, statistical parameter modeling, simulation calculation modeling and machine learning.  ...  This paper briefly reviews theoretical and engineering significance of aircraft vibration response environment prediction firstly.  ...  Therefore, during initial stage of the vehicle development program, an effective prediction method for dynamic environment is required to analyze a variety of excitation sources, and obtain relatively  ... 
doi:10.1016/j.proenv.2011.09.134 fatcat:q6wdtagdfze37kfwaqvxc4xkla

PATTERN OF DISEASE OCCURRENCE AND TREATMENT IN GENETIC ENDOCRINE SURGERY IN DIFFERENTIATED CONDITIONS

Dr Moazzam Hussain, Dr Momal Khan Lodhi, Dr Behram Hussain
2020 Zenodo  
Keywords: Genetic Testing, Endocrine Surgery, Precision Surgery  ...  testing in endocrine surgery with opportunities for precision surgery.  ...  In this study, we conducted a systematic program on a wide-ranging number of MEN 1 families for carrying out clinical genetic testing.  ... 
doi:10.5281/zenodo.4007800 fatcat:3g75ujajgba7ticrrnzclvfvdm

Flyover Noise Testing of Commercial Jet Airplanes

E.L. Zwieback
1973 Journal of Aircraft  
Flyover Noise Testing Program A flight test program to evaluate the flyover noise of a new commercial jet transport airplane consists of several phases including preliminary, development, and survey.  ...  The flight development and certification programs of new commercial jet transport airplanes in- clude flyover noise testing to define public acceptability of the airplanes.  ... 
doi:10.2514/3.60258 fatcat:gmpeksli2vds5lgghnofcbtfya

Page 106 of Diagnostics & Clinical Testing Vol. 7, Issue 12 [page]

1969 Diagnostics & Clinical Testing  
OF AMERICA N14 4-page folder on Siemens Model 2000 16/16 sound projectors and specifications on 35mm and 16mm motion picture cameras. BUHL OPTICAL CO.  ...  E78 Booklet on analytical, animal, consulting, contract research and testing services.  ... 

Developing a test battery for diagnosis of childhood apraxia of speech in Arabic speakers

Dalia Abdou, Omayma Afsah, Hemmat Baz, Tamer Abou-Elsaad
2020 The Egyptian Journal of Otolaryngology  
Background Childhood apraxia of speech (CAS) is a speech sound disorder in which the precision and consistency of movements underlying speech are impaired in absence of neuromuscular deficits.  ...  Participants' responses were statistically analyzed to assess the validity and reliability, and to evaluate sensitivity and specificity of the test battery.  ...  Unit, ORL Department, Faculty of Medicine, Mansoura University, Mansoura 35516, Egypt.  ... 
doi:10.1186/s43163-020-00021-5 doaj:e4b106e25a3c4f2993f5bb7689611ada fatcat:ledejhewnvcmhhzobzcsc6vynq

Page 544 of Journal of Aircraft Vol. 10, Issue 9 [page]

1973 Journal of Aircraft  
The precision of the space- position data procedures is also dictated by: 1) the need to determine noise source angular directivity for certain testing, 2) the significant noise propagation times, and  ...  Additional Development of Test Techniques The complex testing as described herein represents sub- stantial costs and efforts; both in testing equipment and technical capability, and in airplane operating  ... 

PhD Abstracts

GRAHAM HUTTON
2020 Journal of functional programming  
As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  Many students complete PhDs in functional programming each year.  ...  The first branch of this thesis defines a type-directed procedure to generate random programs for each calculus in order to apply property-based testing to check soundness properties on them, using the  ... 
doi:10.1017/s0956796820000167 fatcat:dxjjb46ngvbc5pteeekly6rqem

Page 1169 of Psychological Abstracts Vol. 44, Issue 7 [page]

1970 Psychological Abstracts  
the ability to retain instructions), a manual dexterity test (dotting), a hearing test to distinguish diverse mining sounds, color and form differentiation tests, arithmetic skill, and a projective completion  ...  precise notions and complex grammatical phen- omena.  ... 

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2003 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03  
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false  ...  This is achieved by refinement of a general purpose static analyzer and later adaptation to particular programs of the family by the end-user through parametrization.  ...  Then the loop invariant inter-val is computed iteratively with F F,F , which is simply less precise than with F F,F , but sound. The loop stabilization test is performed with F F,F which is sound.  ... 
doi:10.1145/781131.781153 dblp:conf/pldi/BlanchetCCFMMMR03 fatcat:dyxxvk6urbfavmbg73pinpqxba

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2003 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03  
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false  ...  The main novelties are the design principle of static analyzers by refinement and adaptation through parametrization (Sect. 3 and 7), the symbolic manipulation of expressions to improve the precision of  ...  Then the loop invariant inter-val is computed iteratively with F F,F , which is simply less precise than with F F,F , but sound. The loop stabilization test is performed with F F,F which is sound.  ... 
doi:10.1145/781151.781153 fatcat:fhsohqdzezgyjfezhryt56x4by

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2003 SIGPLAN notices  
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false  ...  The main novelties are the design principle of static analyzers by refinement and adaptation through parametrization (Sect. 3 and 7), the symbolic manipulation of expressions to improve the precision of  ...  Then the loop invariant inter-val is computed iteratively with F F,F , which is simply less precise than with F F,F , but sound. The loop stabilization test is performed with F F,F which is sound.  ... 
doi:10.1145/780822.781153 fatcat:72m6x2prhraa3etyj4wxa6e2vy

Capability of an Ultrasonic System to Detect Very Early Caries Lesions on Human Enamel

Funda BOZKURT
2013 Marmara Dental Journal  
Specimens with lesions were analyzed using Ultrasonic system (US) as test method, Quantitative-Light Induced Fluorescence (QLF) and Confocal Laser Scanning Microscopy (CLSM) as gold standards.  ...  The purpose of this investigation was to determine if changes in dental enamel with 20 micron depth incipient carious lesion could be detected by an ultrasonic system (US).  ...  Acknowledgments We are very grateful to engineers Fikret Geçgil and Ercan Kocagil and the NDT Team of Turkish Airlines for their help and the instructions about the ultrasonic system.  ... 
doi:10.12990/mdj2013121 fatcat:j4knbwldyfgptdpffzeusonu2m
« Previous Showing results 1 — 15 out of 92,812 results